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
• diku-dk / lys
  Library for writing interactive and visual Futhark programs
  ☆22Updated 8 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated this week
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆17Updated 4 years ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆80Updated this week
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 5 months ago
• shmulvad / AD-notes
  A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU
  ☆14Updated 5 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated 2 months ago
• pamellies / models-of-programming-languages
  Slides and handwritten notes on the course on models of programming languages
  ☆50Updated 4 years ago
• granule-project / gerty
  A small implementation of graded modal dependent type theory. A younger cousin to Granule.
  ☆56Updated 9 months ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆17Updated last month
• nqpz / futracer
  Race through breathtaking 3-D graphics with Futhark!
  ☆14Updated 3 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 8 months ago
• kasiaMarek / TyRE
  ☆26Updated last year
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated 2 months ago
• diku-dk / hpps-e2024-pub
  Public repository for HPPS
  ☆12Updated 3 weeks ago
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated 9 months ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆30Updated 6 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• Anderssorby / SDL.lean
  SDL2 bindings for lean
  ☆21Updated 10 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆46Updated 2 weeks ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• naalit / durin
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆13Updated 3 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 8 years ago
• imneme / mini-sk
  A Small Combinator-Reduction System
  ☆14Updated 4 years ago