Skip to content


See what the GitHub community is most excited about today.

  1. Sail architecture definition language

    Standard ML 100 18 Built by @kathryngray @Alasdair @bacam @rmn30 @bauereiss
  2. Haskell Research Compiler

    Standard ML 783 38 Built by @DrTodd13 @btlewis @master-q @ninegua
  3. Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files

    Standard ML 778 259
  4. The Ur/Web programming language

    Standard ML 596 49 Built by @achlipala @vizziv @fabriceleal @grwlf @ashalkhakov
  5. CakeML: A Verified Implementation of ML

    Standard ML 472 44 Built by @xrchz @myreen @SOwens @tanyongkiam @mn200
  6. The MLton repository

    Standard ML 470 84 Built by @MatthewFluet @sweeks @terpstra @manan30 @jasoncarr0
  7. Globally orientated citizenship with private passport services using available cryptographic tools

    Standard ML 394 72 Built by @MrChrisJ @m0se @JackScottie @jonathancross @WilliamDunne
  8. sources

    Standard ML 319 319 Built by @Seldaek @igorw @johnstevenson @naderman @padraic
  9. 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.

    Standard ML 278 60 Built by @mn200 @konrad-slind @xrchz @thtuerk @MichaelJCGordon
  10. Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

    Standard ML 222 28 Built by @sestoft @kfl @const-rs @dcurrie @Eckankar
  11. Poly/ML

    Standard ML 216 23 Built by @dcjm @jrtc27 @Smattr @iislucas @eatonphil
  12. A public database for software and firmware hashes

    Standard ML 216 21 Built by @rootkovska @ypid
  13. The People's Refinement Logic

    Standard ML 188 17 Built by @jonsterling @favonia @cangiuli @wilcoxjay @ecavallo
  14. Low-level Lisp with compile-time memory management

    Standard ML 173 1 Built by @eudoxia0
  15. Project materials related to logic programming for interactive/reactive systems.

    Standard ML 166 13 Built by @chrisamaphone @robsimmons @markfarrell @Johnicholas
  16. Passive Real-time Asset Detection System

    Standard ML 145 39 Built by @comotion @gamelinux @madmac2501 @alandekok @KristianLyng
  17. MLWorks is a Standard ML compiler and development environment.

    Standard ML 139 16 Built by @rptb1 @NickBarnes @waywardmonkeys
  18. Compute and compare MinHash signatures for DNA data sets.

    Standard ML 130 26 Built by @ctb @luizirber @lgautier @betatim @olgabot
  19. Standard ML Compiler and Toolkit

    Standard ML 126 16 Built by @melsman @nhallenberg @kfl @eldesh @rrnewton
  20. Proof of concept: let's audit npm!

    Standard ML 115 1 Built by @eirslett @j-f1
  21. Library and Toolkit for Standard ML

    Standard ML 115 6 Built by @eatonphil @vishallama @DanielRosenwasser @tkob
  22. An proof refinement logic for computational type theory based on realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL:]

    Standard ML 104 10 Built by @jonsterling @jozefg @freebroccolo @vrahli @david-christiansen
  23. APL Compiler targeting a typed array intermediate language

    Standard ML 102 6 Built by @melsman @dybber @mbudde
  24. MLton with Realtime GC and Threading features

    Standard ML 96 3 Built by @sweeks @MatthewFluet @terpstra @laurikari @bleibig
  25. Smackage Package Manager for Standard ML

    Standard ML 84 10 Built by @robsimmons @gian @Ahnfelt @msullivan @melsman
Other: Standard ML
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet Zephir Zig Zimpl
ProTip! Looking for most forked Standard ML repositories? Try this search
You can’t perform that action at this time.