Alternatives and similar repositories for absal-rs

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

• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆19Jun 27, 2016Updated 9 years ago
• VictorTaelin / absal-ex

  View on GitHub
  Absal ex
  ☆59Sep 8, 2023Updated 2 years ago
• VictorTaelin / abstract-algorithm

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

  View on GitHub
  Thoughts and stuff
  ☆71Apr 30, 2020Updated 5 years ago
• codedot / lambda

  View on GitHub
  Macro Lambda Calculus
  ☆50Mar 23, 2019Updated 6 years ago
• rintcius / purescript-aui

  View on GitHub
  Algebraic UI's in Purescript
  ☆15Dec 4, 2020Updated 5 years ago
• zyla / purescript-concur

  View on GitHub
  [ABANDONED] An attempt to port the concur library to PureScript.
  ☆20Feb 21, 2018Updated 7 years ago
• rocq-archive / coq-in-coq

  View on GitHub
  A formalisation of the Calculus of Constructions
  ☆70Jul 24, 2024Updated last year
• 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 / Cedille-Core

  View on GitHub
  A minimal proof language.
  ☆212Jan 26, 2019Updated 7 years ago
• LiamGoodacre / purescript-type-lang

  View on GitHub
  Lambda calculus at the type level.
  ☆20Jul 22, 2017Updated 8 years ago
• VictorTaelin / ultimate-calculus

  View on GitHub
  ☆36Nov 16, 2021Updated 4 years ago
• bobatkey / foveran

  View on GitHub
  A Dependently Typed Programming Language
  ☆26Jul 24, 2020Updated 5 years ago
• paf31 / purescript-debugger

  View on GitHub
  A simple console debugger for PureScript functions
  ☆22Oct 17, 2018Updated 7 years ago
• markus1189 / how-this-presentation

  View on GitHub
  ☆13Jun 4, 2018Updated 7 years ago
• adinapoli / piece-table

  View on GitHub
  Exploration of the Piece Table data structure in Haskell
  ☆10Mar 17, 2017Updated 8 years ago
• lukewestby / elm-codegen-preview

  View on GitHub
  Preview the JS code generated by an Elm program
  ☆10Oct 8, 2016Updated 9 years ago
• MrChico / Reals-in-agda

  View on GitHub
  Constructive definition of real numbers implemented in agda.
  ☆10Jul 31, 2016Updated 9 years ago
• brain-labs / brainduino

  View on GitHub
  Brain Interpreter for arduino
  ☆12Jul 16, 2018Updated 7 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
• evertedsphere / sound-and-complete

  View on GitHub
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Jan 3, 2018Updated 8 years ago
• VictorTaelin / optlam

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

  View on GitHub
  Software without side-effects. Redo and Undo.
  ☆24Dec 18, 2018Updated 7 years ago
• amutake / actario

  View on GitHub
  Verification Framework for Actor Systems on Coq
  ☆29Jul 2, 2018Updated 7 years ago
• hdgarrood / qq-literals

  View on GitHub
  A Haskell library for compile-time checked literal values, via QuasiQuoters.
  ☆13Sep 20, 2021Updated 4 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• DestructHub / lelerax-legacy

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

  View on GitHub
  An implementation of the Formality language in C
  ☆13Oct 12, 2019Updated 6 years ago
• paf31 / purescript-lists-fast

  View on GitHub
  Fast replacements for some common functions on linked lists
  ☆13Dec 14, 2017Updated 8 years ago
• huonw / tz-search

  View on GitHub
  Compute the timezone of latitude/longitude pairs.
  ☆10Dec 17, 2021Updated 4 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
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• gergoerdi / clash-tinybasic

  View on GitHub
  ☆11Nov 2, 2021Updated 4 years ago
• phadej / kleene-type

  View on GitHub
  Regular expressions of types
  ☆16Sep 13, 2018Updated 7 years ago
• kritzcreek / okasaki

  View on GitHub
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Nov 9, 2016Updated 9 years ago
• schell / gelatin

  View on GitHub
  A nice Haskell graphics API. There's always room for jello.
  ☆41May 31, 2018Updated 7 years ago
• moonad-archive / Formality-JavaScript

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

  View on GitHub
  A simple CRUD DSL example with an asynchronious interpreter written as Cofree
  ☆31Apr 25, 2017Updated 8 years ago