Peridot – A functional language based on two-level type theory
A fast functional language based on two level type theory - ehatti/peridot
Peridot – A functional language based on two-level type theory launched on May 10, 2022 with 151 votes, #166 of 2,942 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 4 years on.
In plain words
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 its implementation of two-level type theory, which enables both compile-time and runtime level reasoning about programs. Peridot targets those seeking to explore functional programming concepts with formal type-theoretic backing.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
A dependently-typed programming language with static memory management2020 · github.com · ▲456A functional programming language with static memory management - vekatze/neut
AsciiDots – a 2D esoteric language inspired by circuits2017 · github.com · ▲148Esolang inspired by ASCII art. Contribute to aaronjanse/asciidots development by creating an account on GitHub.
- FSFuse – statically typed functional programming languageAug 2026 · fuselang.org · ▲121
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…
ScrapScript – A tiny functional language for sharable software2023 · scrapscript.org · ▲503Hi 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 :)
L2: An elegant untyped, unsafe, unhygienic programming language2017 · github.com · ▲83A minimalist type-inferred programming language with procedural macro support - murisi/L2
Dependently typed language for proofs that you can implement in one day2021 · github.com · ▲138The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 1d ago · permit.petercai.com
- IV
Life & fun · 13d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 14d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 8d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 12d ago · carrierexplode.com
Life & fun · 22d ago · space.bl2.net
Source: Show HN post ↗
Launched alongside, May 2022
the whole month →
Peerlist▲1,049A professional network w/ robust work profiles at its core
Life & fun · 2022 · peerlist.io
Switchboard▲768Hey HN this is Daniel, I'm excited to share Airtop with the community! Airtop enables AI agents to seamlessly browse and automate any website — even ones with complex authentication like MFA or OAuth. Whether you need to scrape, interact with dynamic content, or automate tasks across multiple browsers, Airtop's cloud-based infrastructure makes it scalable and accessible. Why Airtop? — AI-Driven Web Automation: Automate interactions with any site through natural language commands even if they include human-in-the-loop scenarios. — Authentication Ready: Airtop handles websites requiring…
Work · 2022 · airtop.ai
Automagically reverse-engineer REST APIs via capturing traffic - alufers/mitmproxy2swagger
Growth · 2022 · github.com
