Stars
- All languages
- APL
- ASP
- Ada
- Arc
- Arduino
- Assembly
- Astro
- AutoHotkey
- Bikeshed
- C
- C#
- C++
- CMake
- COBOL
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Eagle
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Forth
- Fortran
- G-code
- GDScript
- Game Maker Language
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Logtalk
- Lua
- Makefile
- Markdown
- MoonScript
- Mustache
- NewLisp
- Nix
- OCaml
- Opa
- OpenSCAD
- PHP
- PLpgSQL
- Pascal
- Perl
- PicoLisp
- Pony
- PowerShell
- Prolog
- Pug
- Puppet
- PureScript
- Python
- R
- Racket
- Raku
- ReScript
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- V
- VBA
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XML
- hoon
5
stars
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.
APL Compiler targeting a typed array intermediate language