Formality in itself
☆20Nov 30, 2020Updated 5 years ago
Alternatives and similar repositories for FormalityFM
Users that are interested in FormalityFM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Peer-to-Peer Operating System☆37Mar 17, 2019Updated 7 years ago
- Moonad: a Peer-to-Peer Operating System☆101Dec 7, 2019Updated 6 years ago
- A minimal pure functional language based on self dependent types.☆73May 11, 2022Updated 3 years ago
- Specification of the Formality proof and programming language☆43Feb 5, 2023Updated 3 years ago
- Agda libraries relevant to Moonad☆15Apr 2, 2019Updated 7 years 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.
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- Read, process and write WAV files with Elixir.☆10Mar 28, 2018Updated 8 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Cowsay implementation in Rust☆22Dec 21, 2016Updated 9 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Documentation for pganalyze - PostgreSQL Performance Monitoring☆12Updated this week
- A simpler request/response abstraction on top of Hyper☆13Jul 26, 2018Updated 7 years ago
- Explore different types of healing mechanics and player health displays using Godot!☆20Jul 27, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search☆24Sep 28, 2024Updated last year
- Heroku + docker + haskell = ?☆13May 11, 2015Updated 10 years ago
- Manage your project with the power of NPM☆10Dec 12, 2016Updated 9 years ago
- Quark, A Functional, Purely Homoiconic, Concatenative Language☆29Feb 12, 2016Updated 10 years ago
- ☆11Jan 27, 2021Updated 5 years ago
- You're probably looking for https://github.com/briancavalier/most-behave instead☆11Jul 19, 2018Updated 7 years ago
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- Frequently asked questions about Hoodie☆11Oct 14, 2017Updated 8 years ago
- Tutorial on modeling with TLA+☆24Oct 7, 2025Updated 6 months 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.
- Technical reports and preprints☆14Jul 30, 2016Updated 9 years ago
- Embedded web server to expose Couchbase Lite REST API on an http socket☆12Oct 22, 2018Updated 7 years ago
- A modern proof language☆3,739Jan 22, 2025Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- A minimal proof language.☆215Jan 26, 2019Updated 7 years ago
- A Haskell libary for generating low-level sounds with high-level combinators.☆17Oct 10, 2024Updated last year
- A hobby language that compiles to WebAssembly☆28Jun 9, 2025Updated 10 months ago
- Dependent type checker using normalisation by evaluation☆275Sep 5, 2024Updated last year
- ☆11Jul 2, 2024Updated last year
- 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.
- Generate regular expressions of JavaScript from CSS selectors. That regular expressions is for searching HTML elements which is matched g…☆11Nov 17, 2025Updated 5 months ago
- A programming language for the decentralized web☆445Mar 7, 2023Updated 3 years ago
- Little utility D3 functions☆26Jul 15, 2020Updated 5 years ago
- ☆45Mar 3, 2021Updated 5 years ago
- A minimal proof checker.☆80Sep 9, 2024Updated last year
- WIP about persistent fragment proposal alternative☆17Apr 3, 2025Updated last year
- ♟ A browser plugin to make Lichess less stressing in regards of mental health.☆13Dec 6, 2021Updated 4 years ago