A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable
☆24Nov 3, 2026Updated last week
Alternatives and similar repositories for fhm
Users that are interested in fhm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Prototype for https://github.com/Innf107/vega☆19Jul 22, 2024Updated 2 years ago
- Algorithms and Complexity Library using the lightweight query combinator framework called "Prog"☆31Updated this week
- Native, high-performance, cross-platform desktop apps - built with Reason!☆14Sep 8, 2025Updated last year
- ☆13Nov 2, 2026Updated last week
- Write DynamoDB expressions without the friction☆14Jul 31, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- FX is a compiler, proof assistant and a programming language built on graded dependent type theory☆44Jul 21, 2026Updated 3 months ago
- ☆12Mar 2, 2026Updated 8 months ago
- a TUI app for chatting on Twitch☆12Dec 29, 2023Updated 2 years ago
- Neural networks trained in Bend 2: typed forward/backward layers, laws checked by the kernel, agreement with PyTorch☆18Updated this week
- 😴 ReScript RPC-like client, contract, and server implementation for a pure REST API☆51Nov 4, 2026Updated last week
- Benchmarking framework for OCaml☆25Jan 1, 2024Updated 2 years ago
- A rust port of con-leche☆36Updated this week
- A build system from the future 🖖☆23Oct 15, 2026Updated 3 weeks ago
- Continuous benchmarking☆19Jan 23, 2026Updated 9 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A functional programming language with shell scripting capabilities☆134Sep 17, 2026Updated last month
- comptime-fused serialization library for zig☆42Apr 22, 2026Updated 6 months ago
- an edge database☆31Oct 1, 2026Updated last month
- ReScript PPX which validates the tailwindcss class names☆28Feb 28, 2026Updated 8 months ago
- An seL4 reference webserver application☆12Jul 22, 2026Updated 3 months ago
- Helpers for incremental operations on map like data structures.☆30Nov 3, 2026Updated last week
- React Advanced Reason Workshop☆13Apr 29, 2022Updated 4 years ago
- ☆11Aug 17, 2023Updated 3 years ago
- ☆11Oct 25, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆14Dec 31, 2023Updated 2 years ago
- ☆18Mar 1, 2025Updated last year
- Labs for programming class, based on HTML, CSS, JavaScript, and nodejs☆13Nov 30, 2025Updated 11 months ago
- A simple, focused and expressive library for building command line applications.☆11Jan 4, 2020Updated 6 years ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated 2 years ago
- Light weight runtime for ReScript☆16Jun 16, 2023Updated 3 years ago
- A pure OCaml library for working with terminals☆32Apr 2, 2024Updated 2 years ago
- An example to show JS users can use Rescript based library without using ReScript☆15Feb 10, 2021Updated 5 years ago
- Raytracer written in pure Nix☆13Feb 12, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Example of easy dynamic import in ReScript using Vite☆10Jul 7, 2022Updated 4 years ago
- A workshop for comparing buddy allocator algorithms☆15May 11, 2026Updated 6 months ago
- (Mirror) A Music formalization library and DSL in Lean 4☆28Aug 25, 2026Updated 2 months ago
- One library for all your OCaml tests.☆10Nov 1, 2026Updated last week
- Wasm interpreter in lean, designed for reasoning☆194Nov 2, 2026Updated last week
- ☆12Jun 27, 2025Updated last year
- Automatically generate table of contents for Markdown files☆17Nov 22, 2022Updated 3 years ago
Are these results useful?