brendanzab / elm-stlcView external linksLinks
Bidirectional type checker for the simply typed lambda calculus
☆15Feb 4, 2020Updated 6 years ago
Alternatives and similar repositories for elm-stlc
Users that are interested in elm-stlc are comparing it to the libraries listed below
Sorting:
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- A statically typed spreadsheet application w/testing as a first class citizen☆17Jan 4, 2025Updated last year
- The official Github Repo and Download for the FNAF Mod☆10Nov 10, 2015Updated 10 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- todomvc example with lustre☆24Apr 22, 2025Updated 9 months ago
- 🍒 An EXPERIMENTAL library with basic functions.☆21Feb 10, 2021Updated 5 years ago
- A dependently typed programming language, and verification tool☆27Apr 3, 2016Updated 9 years ago
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Jul 8, 2011Updated 14 years ago
- Stack-safe monad transformers implemented using continuation-passing style and uncurried functions.☆23Aug 28, 2022Updated 3 years ago
- Write your gen servers in VB.NET - hell why not?☆24Apr 5, 2021Updated 4 years ago
- ⭐️ Soothing pastel library for Gleam☆30Jan 22, 2026Updated 3 weeks ago
- The official compiler for the Quartz programming language☆29May 3, 2018Updated 7 years ago
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Sep 16, 2020Updated 5 years ago
- Powerful and easy runtime type checking☆32Aug 19, 2024Updated last year
- A website monitoring tool written in gleam/mist/lustre☆35May 28, 2024Updated last year
- A Forge based Minecraft server-side plugin API☆13Nov 23, 2014Updated 11 years ago
- A Rust library and CLI for computing optimal and heuristic tree decompositions☆12Feb 19, 2025Updated 11 months ago
- A JavaScript graph library☆10May 20, 2014Updated 11 years ago
- A flexible and extensible form package in Elm that uses the platform.☆11Jul 8, 2024Updated last year
- Hindley–Milner Type inferencing in C☆48Aug 11, 2022Updated 3 years ago
- An interpreter for a small ML-ish language☆11Oct 6, 2017Updated 8 years ago
- The main site and assets of Rails Girls London website☆24Mar 19, 2024Updated last year
- ☆51Dec 14, 2022Updated 3 years ago
- A WIP little dependently-typed systems language☆41Aug 13, 2024Updated last year
- A simple elasticsearch frontend for serving astrophysical simulation catalog data☆10Aug 29, 2025Updated 5 months ago
- Library of common cryptographic algorithms and functions for Pony☆12Jul 16, 2025Updated 6 months ago
- Parallel Tasks Runtime☆34Jul 26, 2019Updated 6 years ago
- A Cydia Repo for iOS tweaks hosted on github.☆13Mar 5, 2018Updated 7 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- ☆10May 9, 2016Updated 9 years ago
- Commands to push/fetch hidden remote refs☆11Nov 21, 2017Updated 8 years ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 5 months ago
- A two-dimensional esoteric programming language, inspired by Hexagony and based on Surface☆11Nov 14, 2019Updated 6 years ago
- "Infinite" Pong with Two Balls in Jai Compiled to Wasm64☆12Dec 12, 2024Updated last year
- translation of pi3d from python to rust☆11Jun 28, 2025Updated 7 months ago
- AllTheModium for Minecraft 1.16+☆17Jan 16, 2026Updated 3 weeks ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- A rhyming library for python☆12Nov 28, 2018Updated 7 years ago