VictorTaelin/Elementary-Affine-Core-legacy external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

VictorTaelin/Elementary-Affine-Core-legacy

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/VictorTaelin/Elementary-Affine-Core-legacy)

Close

VictorTaelin / Elementary-Affine-Core-legacyView on GitHubMore

• External links
• Readme badge

A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

☆18Jun 17, 2019Updated 6 years ago

Alternatives and similar repositories for Elementary-Affine-Core-legacy

Users that are interested in Elementary-Affine-Core-legacy are comparing it to the libraries listed below

• VictorTaelin / Elementary-Affine-Type-Theory-legacy

  View on GitHub
  Minimal, efficient proof language
  ☆15May 28, 2019Updated 6 years ago
• VictorTaelin / escoc-libs-legacy

  View on GitHub
  Base Formality libraries
  ☆10Mar 4, 2019Updated 7 years ago
• Soonad / Formality-C

  View on GitHub
  An implementation of the Formality language in C
  ☆13Oct 12, 2019Updated 6 years ago
• VictorTaelin / optimul

  View on GitHub
  Multiplication on optimal λ-calculus reducers
  ☆23Aug 14, 2020Updated 5 years ago
• moonad-archive / Formality-JavaScript

  View on GitHub
  An implementation of the Formality language in JavaScript
  ☆71Aug 27, 2019Updated 6 years ago
• Soonad / Formality-Core

  View on GitHub
  Specification of the Formality proof and programming language
  ☆42Feb 5, 2023Updated 3 years ago
• VictorTaelin / ultimate-calculus

  View on GitHub
  ☆37Nov 16, 2021Updated 4 years ago
• Soonad / Base.fm

  View on GitHub
  Standard library for the Formality language
  ☆18Mar 22, 2020Updated 5 years ago
• takanuva / coc

  View on GitHub
  Calculus of Constructions
  ☆17Jul 17, 2019Updated 6 years ago
• cedille / cedille-developments

  View on GitHub
  A showcase of interesting code and proof developments in Cedille
  ☆36Jun 10, 2025Updated 8 months ago
• mortberg / gen-cart

  View on GitHub
  A Unifying Cartesian Cubical Set Model
  ☆35Oct 14, 2019Updated 6 years ago
• VictorTaelin / absal-ex

  View on GitHub
  Absal ex
  ☆60Sep 8, 2023Updated 2 years ago
• VictorTaelin / absal-rs

  View on GitHub
  ☆36Jul 30, 2018Updated 7 years ago
• VictorTaelin / articles

  View on GitHub
  Thoughts and stuff
  ☆72Apr 30, 2020Updated 5 years ago
• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆20Jun 27, 2016Updated 9 years ago
• VictorTaelin / lsign

  View on GitHub
  Quantum-proof, 768-bit signatures for 1-bit messages
  ☆12Mar 11, 2020Updated 5 years ago
• VictorTaelin / Moonad-web-legacy

  View on GitHub
  A Peer-to-Peer Operating System
  ☆37Mar 17, 2019Updated 6 years ago
• Soonad / Whitepaper

  View on GitHub
  Moonad: a Peer-to-Peer Operating System
  ☆101Dec 7, 2019Updated 6 years ago
• david-christiansen / idris-code-highlighter

  View on GitHub
  A semantic highlighter for Idris code
  ☆14Feb 22, 2018Updated 8 years ago
• codedot / lambda

  View on GitHub
  Macro Lambda Calculus
  ☆50Mar 23, 2019Updated 6 years ago
• DianeLooney / gggv

  View on GitHub
  GO GO GADGET: VIDEO
  ☆14Apr 5, 2020Updated 5 years ago
• DavidJaz / Cohesion

  View on GitHub
  A personal library, formalizing cohesive homotopy type theory in Agda.
  ☆13Apr 30, 2019Updated 6 years ago
• atennapel / coc-os

  View on GitHub
  "operating system" based on the calculus of constructions
  ☆18Jun 22, 2022Updated 3 years ago
• Soonad / Formality-Haskell

  View on GitHub
  A Haskell implementation of the Formality language
  ☆18Mar 9, 2020Updated 6 years ago
• VictorTaelin / ESCoC

  View on GitHub
  A nano "theorem prover".
  ☆63Feb 15, 2019Updated 7 years ago
• nbenton / x86proved

  View on GitHub
  ☆15Oct 24, 2017Updated 8 years ago
• laMudri / quantitative

  View on GitHub
  ☆16Dec 28, 2021Updated 4 years ago
• AndrasKovacs / preordertt

  View on GitHub
  Experiments with preordered set models of (directed) type theories
  ☆15Jul 10, 2019Updated 6 years ago
• ia0 / lafont

  View on GitHub
  Animation of Yves Lafont's Interaction Combinators
  ☆23Jan 30, 2022Updated 4 years ago
• VictorTaelin / abstract-algorithm

  View on GitHub
  Optimal evaluator of λ-calculus terms.
  ☆285Feb 4, 2023Updated 3 years ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• VictorTaelin / calculus-of-constructions

  View on GitHub
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆117May 13, 2017Updated 8 years ago
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• rocq-community / parseque

  View on GitHub
  Total Parser Combinators in Coq [maintainer=@womeier]
  ☆49Jul 19, 2025Updated 7 months ago
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• Obijuan / obijuan.github.io

  View on GitHub
  My personal web page
  ☆11Feb 17, 2026Updated 2 weeks ago
• effectfully / OTT

  View on GitHub
  Observational Type Theory as an Agda library
  ☆57May 27, 2017Updated 8 years ago
• JorisCeulemans / sikkel

  View on GitHub
  Multimode simple type theory as an Agda library.
  ☆23Sep 18, 2024Updated last year
• pis147879 / PELCR

  View on GitHub
  Parallel Environment for optimal Lambda Calculus Reduction
  ☆28Updated this week