Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
31 repositories
🎨 Creative Tools
37 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
42 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases54 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages26 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
27 repositories
🕹️ Game Development
2 repositories
🕹️ Games
2 repositories
📐 Geometric Algebra
18 repositories
👍 Memory Safe by Default
4 repositories
🍱 Module Systems - Case Studies
3 repositories
🍱 Module Systems - Languages
12 repositories
🏡 My Stack
14 repositories
⚙️ Nix - Example Configurations
12 repositories
⚙️ Nix - Tools
36 repositories
💾 Nostalgia
28 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
54
results
for source starred repositories
written in Standard ML
Clear filter
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
The Standard ML compiler that produces Lua/JavaScript
The MaPLe compiler: efficient and scalable parallel functional programming
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
APL Compiler targeting a typed array intermediate language
MLWorks is a Standard ML compiler and development environment.
Quantomatic is a tool for doing automated graph rewriting.
Generic package manager for Standard ML libraries and programs
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
A statically-typed programming language based on "F-ing modules"
TiML: A Functional Programming Language with Time Complexity
A Tour of Standard ML (in the style of A Tour of Go)
l1c is a simple formally verified compiler for a while language
Standard ML compiler based on typed intermediate languages.
A playground for parsers, type checkers, interpreters, compilers, etc.
Lexer and parser generators for Standard ML, OCaml, and Haskell.
A verified compiler for a lazy functional language
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle