Structurally-typed strict functional core language
☆19Nov 21, 2025Updated 3 months ago
Alternatives and similar repositories for ssf
Users that are interested in ssf are comparing it to the libraries listed below
Sorting:
- The functional programming language for scalable development☆35Jan 5, 2025Updated last year
- A statically typed functional programming language.☆46Feb 14, 2026Updated 2 weeks ago
- bittn compiler infrastructure☆11Oct 12, 2020Updated 5 years ago
- The Xemime programming language☆13Oct 13, 2020Updated 5 years ago
- self-hosted compiler for a subset of OCaml☆51Jun 12, 2019Updated 6 years ago
- An implementation of Linear Lambda Calculus.☆15Apr 16, 2020Updated 5 years ago
- ☆84Jan 19, 2025Updated last year
- c compiler☆16May 21, 2020Updated 5 years ago
- A Hobby implementation of ML☆16Dec 19, 2015Updated 10 years ago
- Multi-core suitable Forth-like language☆37Mar 22, 2025Updated 11 months ago
- The uncurried minimal functional programming language for CPS transformation☆19Feb 23, 2024Updated 2 years ago
- Programming Language maxc☆37Oct 8, 2021Updated 4 years ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- Light-weight web framework for Go☆26May 24, 2022Updated 3 years ago
- A programmable programming language☆23Feb 25, 2026Updated last week
- nv is a programming language supports non-volatile variable and flexible grammar.☆24Aug 9, 2021Updated 4 years ago
- A polymorphism object-oriented programming language☆24May 5, 2020Updated 5 years ago
- A min-caml port to Rust☆26Feb 8, 2025Updated last year
- ☆30Updated this week
- プログラミング言語bone☆25Oct 25, 2019Updated 6 years ago
- ☆22Dec 15, 2023Updated 2 years ago
- ☆28Nov 23, 2023Updated 2 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- Looks like JavaScript, feels like Ruby, and it is a script language fitting in C programmers.☆239Dec 6, 2022Updated 3 years ago
- Lit is a programming language designed fast & light weight with LLVM☆26Mar 15, 2017Updated 8 years ago
- mruby by mruby☆32Updated this week
- optimizing compiler for a subset of C language☆35Oct 7, 2019Updated 6 years ago
- HoTT in Japanese☆36Oct 1, 2023Updated 2 years ago
- A CRUD PROJECT BASED ON FLUTTER☆19Mar 8, 2023Updated 2 years ago
- ☆26Jan 22, 2024Updated 2 years ago
- Native Code Generator for Ruby compiler☆49Jun 23, 2014Updated 11 years ago
- a statically-typed programming language with powerful syntax☆31Jul 6, 2019Updated 6 years ago
- ☆11Oct 25, 2024Updated last year
- ☆11Feb 23, 2026Updated last week
- XEAD Driver is a developing platform of DB systems. Write "specifications" using XEAD Editor. Driver interprets them and launches systems…☆11Jun 20, 2021Updated 4 years ago
- Emelio interpreter written in C++☆34Nov 6, 2020Updated 5 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- ☆12Aug 31, 2023Updated 2 years ago