rhysd / gocamlLinks
Statically typed functional programming language implementation with Go and LLVM
☆758Updated 5 years ago
Alternatives and similar repositories for gocaml
Users that are interested in gocaml are comparing it to the libraries listed below
Sorting:
- Cloe programming language☆412Updated last month
- The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)☆724Updated 8 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆513Updated this week
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆291Updated 3 years ago
- An experimental language which adds functional programming features to Go.☆1,232Updated 3 years ago
- The Hindley Milner Type Inference Algorithm☆372Updated 8 years ago
- The Egison Programming Language☆920Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,589Updated 10 years ago
- Live coding a basic Go compiler with LLVM in 20 minutes☆268Updated last year
- Simple LISP in Go☆527Updated 8 years ago
- Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations☆308Updated 2 years ago
- Pure OCaml Git format and protocol☆367Updated 4 months ago
- A compiled systems programming language written in Go using the LLVM framework☆683Updated 6 years ago
- minigo🐥is a small Go compiler made from scratch. It can compile itself.☆532Updated 4 years ago
- Multi-Language Platform for Dynamic Programming Languages☆639Updated 3 years ago
- github.com/cznic/99c has moved to modernc.org/99c☆186Updated 6 years ago
- Toy Lisp 1.5 interpreter☆986Updated 10 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- A functional programming language based on algebraic effect handlers☆891Updated 3 months ago
- Lisp 2 Go☆242Updated 5 years ago
- scripting language integrated with Go☆914Updated 6 years ago
- Unix system programming in OCaml book☆291Updated 7 years ago
- Prolog interpreter in Go☆374Updated 5 years ago
- A statically typed concatenative systems programming language.☆1,134Updated 2 years ago
- A self-hosting Scheme to WebAssembly compiler☆1,273Updated 4 years ago
- Functional language with intensional polymorphism and first-class staging.☆940Updated this week
- A native compiler backend for PureScript (via C++ or Golang)☆637Updated 2 years ago
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 6 years ago
- A Standard ML Compiler for the Web☆386Updated 3 years ago
- Programming Languages Zoo☆1,521Updated last year