Alternatives and similar repositories for hpps-e2023-pub

Users that are interested in hpps-e2023-pub are comparing it to the libraries listed below

• nqpz / burgerforslag
  burgerforslag.dk
  ☆13Updated last year
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆75Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆98Updated last month
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆71Updated 7 months ago
• Erk- / genfut
  Generate bindings for Futhark
  ☆38Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆77Updated 8 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated this week
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆51Updated 4 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated 11 months ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated last week
• vmchale / apple
  Apple array system
  ☆67Updated 2 weeks ago
• HnimNart / deeplearning
  ☆53Updated last month
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated 2 years ago
• diku-dk / hpps-e2024-pub
  Public repository for HPPS
  ☆13Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆121Updated 2 weeks ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 7 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 2 weeks ago
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated last month
• diku-dk / pmph-e2024-pub
  ☆19Updated 8 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 5 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆37Updated this week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆118Updated this week
• etiamz / optiscope
  A Lévy-optimal lambda calculus reducer with a backdoor to C
  ☆34Updated this week
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆53Updated 2 weeks ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆312Updated 10 months ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago