rhysd / gocaml
Statically typed functional programming language implementation with Go and LLVM
☆754Updated 4 years ago
Alternatives and similar repositories for gocaml:
Users that are interested in gocaml are comparing it to the libraries listed below
- The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)☆725Updated 8 years ago
- Cloe programming language☆411Updated 5 months ago
- An experimental language which adds functional programming features to Go.☆1,237Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations☆308Updated last year
- moved from https://sourceforge.net/p/min-caml/code/☆503Updated 6 months ago
- Live coding a basic Go compiler with LLVM in 20 minutes☆269Updated last year
- The Hindley Milner Type Inference Algorithm☆368Updated 8 years ago
- Lisp 2 Go☆242Updated 5 years ago
- Simple LISP in Go☆522Updated 7 years ago
- Multi-Language Platform for Dynamic Programming Languages☆635Updated 2 years ago
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆285Updated 3 years ago
- github.com/cznic/99c has moved to modernc.org/99c☆186Updated 6 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- A compiled systems programming language written in Go using the LLVM framework☆682Updated 5 years ago
- scripting language integrated with Go☆917Updated 5 years ago
- A self-hosting Scheme to WebAssembly compiler☆1,268Updated 3 years ago
- Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compil…☆1,740Updated last month
- The Egison Programming Language☆920Updated 2 years ago
- Webassembly + Event Sourcing☆523Updated 10 months ago
- A Standard ML Compiler for the Web☆385Updated 2 years ago
- minigo🐥is a small Go compiler made from scratch. It can compile itself.☆529Updated 4 years ago
- A functional language with Reason-like syntax that compiles to Go.☆138Updated 6 years ago
- Pure OCaml Git format and protocol☆364Updated 2 months ago
- Prolog interpreter in Go☆373Updated 5 years ago
- A Programmer's Text Editor☆428Updated 5 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆635Updated 2 years ago
- Toy Lisp 1.5 interpreter☆981Updated 5 months ago
- A statically typed concatenative systems programming language.☆1,120Updated 2 years ago
- An implementation of the SubC language in Go☆162Updated 8 years ago