Life & fun · alternatives · 2026
24 alternatives to Peridot – A functional language based on two-level type theory
A fast functional language based on two level type theory - ehatti/peridot
Peridot is a functional programming language built on two-level type theory. It is designed for developers interested in typed functional programming with advanced theoretical foundations. The language stands out for… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Peridot – A functional language based on two-level type theory launched in 2022; newer entries below may have overtaken it.
- 1
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 2
Esolang inspired by ASCII art. Contribute to aaronjanse/asciidots development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 3FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 4
Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
2023 · scrapscript.org · its alternatives →
- 5
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 6
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 7
I've been working on implementing the compile-time approach to memory management described in this thesis (https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf) for some time now - some of the performance results look promising! (Although some less so...) I think it would be great to see this taken further and built into a more complete functional language.
2020 · github.com · its alternatives →
- 8
Hi There, Erlang-RED has been my project for the last couple of months and I would love to get some feedback from the HN community. The idea is to take advantage of Erlangs message passing and low overhead processes to have true concurrency in Node-RED flows. Plus also to bring low-code visual flow-based programming to Erlang.
2025 · github.com · its alternatives →
- 9
Llama 2▲263The next generation of Meta's open source LLM
2023 · developer.meta.com · its alternatives →
- 10
I've been spending some time coding fp. It is a programming language heavily inspired by the language John Backus described in his 1977 Turing Award lecture. There's plenty of examples in the projects github repository for the interested!
2022 · github.com · its alternatives →
- 11
An experimental language which adds functional programming features to Go. - albrow/fo
2018 · github.com · its alternatives →
- 12
Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…
2023 · github.com · its alternatives →
- 13
C# pure functional programming framework - come and get declarative! - louthy/language-ext
2014 · github.com · its alternatives →
- 14
This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several times before, but I did it anyway. While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a…
2023 · github.com · its alternatives →
- 15PW
Functional programming language based on pure de Bruijn indexed lambda calculus.
2023 · bruijn.marvinborner.de · its alternatives →
- 16
ArkScript is a small, fast, functional and scripting language for C++ projects - ArkScript-lang/Ark
2020 · github.com · its alternatives →
- 17
Python library for creating data pipelines with chain functional programming - EntilZha/PyFunctional
2017 · github.com · its alternatives →
- 18
A puzzle game inspired by functional programming.
2015 · david-peter.de · its alternatives →
- 19GI
Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D
2023 · its alternatives →
- 20
This is a hobby project of mine that I started a few years ago to learn about programming language implementation. It was created 95% without AI, although a few recent commits include code from Gemini CLI. I started out following Crafting Interpreters, but gradually branched off that until I had almost nothing left in common. Tech stack: Rust, Cranelift (JIT compilation), LALRPOP (parser). Original title: "A small programming language where everything is a value" (edited based on comments)
Jan 2026 · github.com · its alternatives →
- 21FP
2015 · functional-perl.org · its alternatives →
- 22MW
2012 · texodus.github.com · its alternatives →
- 23
Haskell for FPGA Hardware Design: Use abstractions like monads and lenses to implement 1970
2021 · unsafeperform.io · its alternatives →
- 24
🔬 a C++ compiler middle-end, using an LLVM backend - artagnon/rhine
2016 · github.com · its alternatives →
Also compare
- A dependently-typed programming language with static memory management alternatives
- AsciiDots – a 2D esoteric language inspired by circuits alternatives
- Fuse – statically typed functional programming language alternatives
- ScrapScript – A tiny functional language for sharable software alternatives
- L2: An elegant untyped, unsafe, unhygienic programming language alternatives
- Dependently typed language for proofs that you can implement in one day alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →