SjVer / Som-LangLinks
The Som functional programming language
☆22Updated last year
Alternatives and similar repositories for Som-Lang
Users that are interested in Som-Lang are comparing it to the libraries listed below
Sorting:
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- WIP stack language that uses regex for control flow☆42Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆24Updated 2 months ago
- Compile OCaml to standalone ANSI C file☆44Updated 3 months ago
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆18Updated 2 years ago
- The Curly programming language (now in Rust!)☆29Updated 4 years ago
- The Closey programming language☆12Updated 4 years ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 3 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 2 weeks ago
- Compiler and tooling for the Myte programming language.☆21Updated 2 years ago
- SFLK programing language reference interpreter☆12Updated 2 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- A mini language for logic programming☆23Updated 5 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Updated 4 years ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 2 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 9 months ago
- An SMT solver frontend for OCaml☆42Updated this week
- OCaml notebooks as a WebComponent☆40Updated 3 weeks ago
- RPL++ - Stack-based Reverse polish notation Programming Language☆17Updated 3 years ago
- The Egel Programming Language☆84Updated 3 months ago
- Mirror of https://codeberg.org/tjammer/schmu☆25Updated last week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 7 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- siko☆14Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆67Updated last year
- Playing with type systems☆51Updated 7 months ago
- A declarative concatenative programming language☆165Updated 10 months ago
- OxCaml Parallelism☆31Updated 2 months ago