Stars
- All languages
- APL
- Agda
- Awk
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Elixir
- Emacs Lisp
- Erlang
- F#
- Frege
- Go
- HTML
- Hack
- Haskell
- Java
- JavaScript
- JetBrains MPS
- Jupyter Notebook
- Kotlin
- Lean
- MATLAB
- OCaml
- Objective-C
- PHP
- Python
- Racket
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Self
- Shell
- Smalltalk
- Standard ML
- Swift
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
Port of the 'MIT Scmutils' library to Chez Scheme.
staged relational interpreters: running with holes, faster
A basic APL Skeleton to get you started writing with APL
Voyage is an object persistence abstraction layer for Pharo.
Source code for various Genera projects of Douglas Fields
Closer to MOP is a compatibility layer that rectifies many of the absent or incorrect CLOS MOP features across a broad range of Common Lisp implementations.
Converts profiling output to a dot graph.
Streaming library for bulk memory operations with Standard ML in MLton
kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)
A high performance websocket server library powering Stack Overflow.
jeapostrophe / z3-rkt
Forked from philnguyen/z3-rktRacket bindings for Z3
[Archived] A cross platform web server for ASP.NET Core. Project moved to https://github.com/aspnet/AspNetCore
The Rhodes framework is a platform for building locally executing, device-optimized mobile applications for all major smartphone devices.
The Paxos library implemented in C++ that has been used in the WeChat production environment.