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:
- The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)☆723Updated 8 years ago
- Parser combinator in Go. If there are any cross platform issues or backward compatibility issues, please reach out.☆294Updated 4 years ago
- An experimental language which adds functional programming features to Go.☆1,232Updated 3 years ago
- moved from https://sourceforge.net/p/min-caml/code/☆518Updated 2 months ago
- The Egison Programming Language☆923Updated 3 years ago
- Simple LISP in Go☆528Updated 8 years ago
- minigo🐥is a small Go compiler made from scratch. It can compile itself.☆532Updated 4 years ago
- The Hindley Milner Type Inference Algorithm☆376Updated 9 years ago
- Live coding a basic Go compiler with LLVM in 20 minutes☆268Updated 2 years ago
- github.com/cznic/99c has moved to modernc.org/99c☆186Updated 7 years ago
- Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations☆309Updated 2 years ago
- Toy Lisp 1.5 interpreter☆993Updated last year
- Multi-Language Platform for Dynamic Programming Languages☆640Updated 3 years ago
- Lisp 2 Go☆242Updated 6 years ago
- Implementations of various type systems in OCaml.☆1,594Updated 10 years ago
- A compiled systems programming language written in Go using the LLVM framework☆679Updated 6 years ago
- Pure OCaml Git format and protocol☆369Updated 7 months ago
- A self-hosting Scheme to WebAssembly compiler☆1,274Updated 4 years ago
- A Standard ML Compiler for the Web☆387Updated 3 years ago
- Functional language with intensional polymorphism and first-class staging.☆941Updated last month
- A functional language with Reason-like syntax that compiles to Go.☆139Updated 6 years ago
- A functional programming language based on algebraic effect handlers☆896Updated last month
- Programming Languages Zoo☆1,572Updated last year
- A Language for High-Level Programming with Self-Extension☆344Updated 8 years ago
- Prolog interpreter in Go☆375Updated 6 years ago
- LLVM bindings for the Go programming language☆217Updated 4 years ago
- phi: gpu accelerated code-editor; definitely not to be confused phonetically with vi.☆317Updated 2 years ago
- An implementation of the SubC language in Go☆165Updated 8 years ago
- A functional language for the working hacker☆343Updated 4 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆637Updated 2 years ago