Alternatives and similar repositories for absal-ex

Users that are interested in absal-ex are comparing it to the libraries listed below

• VictorTaelin / absal-rs

  View on GitHub
  ☆35Jul 30, 2018Updated 7 years ago
• brain-labs / brainduino

  View on GitHub
  Brain Interpreter for arduino
  ☆12Jul 16, 2018Updated 7 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy

  View on GitHub
  Minimal, efficient proof language
  ☆14May 28, 2019Updated 6 years ago
• DestructHub / lelerax-legacy

  View on GitHub
  Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.
  ☆11Jul 23, 2020Updated 5 years ago
• VictorTaelin / abstract-algorithm

  View on GitHub
  Optimal evaluator of λ-calculus terms.
  ☆283Feb 4, 2023Updated 3 years ago
• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆19Jun 27, 2016Updated 9 years ago
• asperti / BOHM1.1

  View on GitHub
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆84Feb 17, 2017Updated 9 years ago
• VictorTaelin / Elementary-Affine-Core-legacy

  View on GitHub
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Jun 17, 2019Updated 6 years ago
• VictorTaelin / optimul

  View on GitHub
  Multiplication on optimal λ-calculus reducers
  ☆22Aug 14, 2020Updated 5 years ago
• VictorTaelin / articles

  View on GitHub
  Thoughts and stuff
  ☆71Apr 30, 2020Updated 5 years ago
• cedille / cedille-cast

  View on GitHub
  Source files used for the Cedille Cast videos
  ☆13Dec 28, 2025Updated last month
• codedot / lambda

  View on GitHub
  Macro Lambda Calculus
  ☆50Mar 23, 2019Updated 6 years ago
• rafaelcn / pong-game

  View on GitHub
  A remake of the classical Pong Game with SDL2
  ☆15Nov 28, 2024Updated last year
• VictorTaelin / Moonad-web-legacy

  View on GitHub
  A Peer-to-Peer Operating System
  ☆36Mar 17, 2019Updated 6 years ago
• astump / cedilleum-spec

  View on GitHub
  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core
  ☆28Mar 24, 2019Updated 6 years ago
• gergoerdi / interaction-nets

  View on GitHub
  Haskell implementation of interaction net-based lambda evaluation
  ☆21Jun 24, 2016Updated 9 years ago
• leftaroundabout / dynamic-plot

  View on GitHub
  Interactive windows for displaying Haskell-generated diagrams
  ☆18Sep 17, 2024Updated last year
• moonad-archive / Formality-JavaScript

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

  View on GitHub
  An optimal function evaluator written in JavaScript.
  ☆139Jul 25, 2017Updated 8 years ago
• VictorTaelin / ultimate-calculus

  View on GitHub
  ☆36Nov 16, 2021Updated 4 years ago
• VictorTaelin / kind-ai

  View on GitHub
  ☆23Feb 14, 2023Updated 3 years ago
• DestructHub / computer-programs-paradigms

  View on GitHub
  Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course
  ☆18Mar 24, 2017Updated 8 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• cuplv / iodyn-lang.rust

  View on GitHub
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Feb 22, 2018Updated 7 years ago
• pablomarx / lisp6800

  View on GitHub
  S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)
  ☆14Jan 15, 2024Updated 2 years ago
• Soonad / Formality-Core

  View on GitHub
  Specification of the Formality proof and programming language
  ☆41Feb 5, 2023Updated 3 years ago
• HerrmannM / eole

  View on GitHub
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆114Oct 28, 2019Updated 6 years ago
• EricsonWillians / Lilith

  View on GitHub
  Lilith is an open-source programming language written in C.
  ☆12Feb 8, 2025Updated last year
• mayakarabula / uxnts

  View on GitHub
  Uxn emulator for web engines and cli written in TypeScript (Work In Progress)
  ☆13May 27, 2023Updated 2 years ago
• VictorTaelin / formality-agda-lib-legacy

  View on GitHub
  Agda libraries relevant to Moonad
  ☆14Apr 2, 2019Updated 6 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• tosc-rs / mnemos-alloc

  View on GitHub
  An async allocator with Fun™️ unsafe Rust
  ☆17Jun 4, 2023Updated 2 years ago
• miniBill / elm-fast-dict

  View on GitHub
  A drop-in, faster implementation of `Dict` from `elm/core`
  ☆11Nov 19, 2025Updated 2 months ago
• Soonad / Formality-C

  View on GitHub
  An implementation of the Formality language in C
  ☆13Oct 12, 2019Updated 6 years ago
• github-aux / linguist-unknown

  View on GitHub
  Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist
  ☆49Apr 4, 2018Updated 7 years ago
• VictorTaelin / interaction-calculus-of-constructions

  View on GitHub
  A minimal proof checker.
  ☆79Sep 9, 2024Updated last year
• pbrisbin / load-env

  View on GitHub
  Load environment variables from .env
  ☆19Dec 21, 2023Updated 2 years ago
• sozud / mmx4

  View on GitHub
  A WIP decompilation of Mega Man X4 for the PS1.
  ☆22Aug 25, 2025Updated 5 months ago
• rafalnowak / RaytracaH

  View on GitHub
  ☆26Nov 19, 2015Updated 10 years ago