thatshubham / no-aiLinks
This repository will be a community-curated list of software and resources that explicitly avoid the integration of artificial intelligence.
☆49Updated 3 weeks ago
Alternatives and similar repositories for no-ai
Users that are interested in no-ai are comparing it to the libraries listed below
Sorting:
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated last month
- # A simple variable binding library based on well-scoped indices and environments☆21Updated this week
- Demo for dependent types + runtime code generation☆72Updated 8 months ago
- The glitch-soc/Mastodon fork running on types.pl☆26Updated 2 months ago
- Anders: Cubical Type Checker☆23Updated last year
- a self-hosting lambda calculus compiler☆37Updated 6 months ago
- A simple functional programming language.☆22Updated 4 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated this week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated 3 weeks ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 3 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Updated last week
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆30Updated last week
- Toy implementation of Martin-Löf Type Theory☆30Updated 3 years ago
- A verified compiler for a lazy functional language☆37Updated last week
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 2 weeks ago
- 📚 A collection of resources about supercompilation☆119Updated 3 months ago
- A toy dependent typed language.☆32Updated last week
- Stroll: an experimental build system☆41Updated 2 years ago
- being a particular fragment of Haskell, extended to a proof system☆42Updated 2 months ago
- A portable idris2 implementation of TLS☆32Updated 11 months ago
- ☆37Updated last year
- Linearizability Hoare Logic☆14Updated 6 months ago
- Source code for haskle.net☆30Updated 2 years ago
- Command-like expressions for real infinite-precision calculations☆54Updated 2 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆89Updated 3 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆61Updated 2 weeks ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A formalization of System Fω in Agda☆19Updated 8 months ago