Highlights
- Pro
-
mlkit Public
Standard ML Compiler and Toolkit
-
-
-
bitstealing Public
Artifact for paper on Double-Ended Bit-Stealing
-
-
apltail Public
APL Compiler targeting a typed array intermediate language
-
debs-icfp24 Public
Artifact for ICFP 2024 paper: Double-Ended Bit-Stealing for Algebraic Datatypes
-
-
homebrew-core Public
Forked from Homebrew/homebrew-core🍻 Default formulae for the missing package manager for macOS
Ruby BSD 2-Clause "Simplified" License UpdatedJan 10, 2024 -
-
reml-popl24 Public
Artifact for POPL '24 paper: Explicit Effects and Effect Constraints in ReML
-
futhark-bezier Public
Flattened Data-Parallel Generation of Cubic Bezier Curves in Futhark
-
-
sml-server-demo Public
SMLserver demo
-
mlkit-ssl-socket Public
SSL on top of inet sockets
-
mlkit-postgresql Public
Postgresql library for Standard ML / MLKit
-
-
-
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Standard ML UpdatedJul 14, 2021 -
A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
Standard ML GNU Lesser General Public License v2.1 UpdatedMar 20, 2021 -
aplcompile Public
APL compiler written in Standard ML
-
MoA Public
Multi-dimentional array calculus in Standard ML
-
mlkit-charting Public archive
Charting of MLKit performance of benchmarks over time
Standard ML MIT License UpdatedOct 21, 2020 -
-
-
stupidart Public
Forked from nqpz/stupidartDon't try to be clever! 💩
-
futgliffer Public
Software for transforming UFO font specifications into Futhark data objects
-
fsharp-img-util Public
Simple portable drawing and image utilities for F#
-
effects-seminar-public Public
Seminar on effects - exception effect analysis and region-based effect analysis - public files
-
segmented Public
Forked from diku-dk/segmentedIrregular segmented operations implemented in Futhark
UpdatedNov 23, 2018