Examples using dependent types for mathematical proofs at the type level
☆14Feb 27, 2020Updated 6 years ago
Alternatives and similar repositories for haskell-proofs
Users that are interested in haskell-proofs are comparing it to the libraries listed below
Sorting:
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- Simple servant-persistent template with up to date libraries, multipart form data API, basic User management model, property testing, sim…☆32Nov 9, 2022Updated 3 years ago
- Genetic algorithm to solve 3D Tetris.☆13Apr 28, 2017Updated 8 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- My Kubernetes homelab on Oracle Cloud Infrastructure using Free Tier resources☆32May 29, 2024Updated last year
- My (newer) Emacs configuration☆14Sep 14, 2025Updated 5 months ago
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 3 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- using quarkus with Confluent SchemaRegistry☆11Sep 29, 2023Updated 2 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- The NEAT Algorithm made from scratch learns to play the game color switch also made from scratch in python☆13Aug 26, 2025Updated 6 months ago
- Cycling Level of Stress Map☆10Jan 19, 2018Updated 8 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆164Nov 29, 2020Updated 5 years ago
- Nix flake for Solana development☆13Jul 8, 2022Updated 3 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Keyring program☆10Nov 8, 2024Updated last year
- Maya plugin helpers☆16Oct 22, 2015Updated 10 years ago
- Converts ANTLR grammar .g4 files into EBNF for naive-ebnf LaTeX package; also converts to PDF later on☆11Feb 2, 2026Updated last month
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- C++ STL for speed and cryptanalytic application☆11Dec 16, 2025Updated 2 months ago
- Simple autohotkey completion, LSP hover support for neovim☆12Apr 26, 2023Updated 2 years ago
- my nix packages☆10Feb 19, 2026Updated last week
- Pump.fun Anchor SDK: IDL & CPI only Solana program (smart contract)☆15Dec 13, 2024Updated last year
- ☆29Updated this week
- jamstack (js, api, markup) generator. js + css + html boilerplate size ~10kb.☆11Dec 12, 2024Updated last year
- Tools to deploy a Polkadot/Kusama validator node.☆10Dec 27, 2024Updated last year
- Project layout for efficient AI for science☆12Sep 30, 2022Updated 3 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- MCP server for development in Rust☆25Updated this week
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 2 months ago