Innf107 / polaris
A functional programming language with shell scripting capabilities
☆112Updated last month
Alternatives and similar repositories for polaris:
Users that are interested in polaris are comparing it to the libraries listed below
- Interoperable effects based concurrency☆120Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 8 months ago
- Petrol's an OCaml SQL API made to go FAST.☆119Updated 4 months ago
- A garden of small programming language implementations 🪴☆203Updated last week
- OCaml-focused, custom nix-overlays☆109Updated this week
- A dependently typed programming language with direct style effects and linearity☆19Updated 6 months ago
- Lock-free data structures for multicore OCaml☆236Updated last month
- A declarative concatenative programming language☆163Updated 3 months ago
- Parallel Programming over Domains☆172Updated 11 months ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆63Updated last year
- Dependent type checker using normalisation by evaluation☆256Updated 5 months ago
- Software Transactional Memory for OCaml☆115Updated last month
- Template for an ocaml project with modern tooling☆80Updated 3 weeks ago
- A simple ML-like programming language with subtyping and full type inference.☆168Updated 2 months ago
- Ordo: A minimalist language with row polymorphism☆82Updated 7 months ago
- Pure functional programming with whole-program mutability inference☆64Updated last month
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆58Updated 3 months ago
- an implementation of stuck macros☆138Updated this week
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago
- Playing with type systems☆48Updated last month
- Cara language compiler☆42Updated 3 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆120Updated 4 years ago
- DBCaml is a database library for OCaml☆63Updated 3 months ago
- Lightweight document☆132Updated 7 months ago
- Just a list of Awesome Alt Langs to check out☆99Updated 10 months ago
- An OCaml lexer generator for Unicode☆249Updated 3 months ago
- Pure OCaml Wayland protocol implementation☆74Updated last week
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Programming with pure lambda calculus☆97Updated last week
- A simple scheduler for OCaml 5☆101Updated 2 weeks ago