Starred repositories
A universal Python parser combinator library inspired by Parsec library of Haskell.
Agda is a dependently typed programming language / interactive theorem prover.
A purely functional programming language with first class types
Lambda calculus interpreter written in TypeScript
Advent of Code statistics for the first 100 submissions visualized
⭐️ A friendly language for building type-safe, scalable systems!
Jelly is a recreational programming language inspired by J.
A modern smart contract platform for Cardano
This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…
A collection of resources for learning type theory and type theory adjacent fields.
A curated list of awesome mathematics resources
A Comprehensive Roadmap to Mathematics
A curated list of awesome neuroscience libraries, software and any content related to the domain.
A curated list of awesome quantum computing learning and developing resources.
A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.
Repository for the Essential Cardano list
An awesome list that curates the best Flutter libraries, tools, tutorials, articles and more.