adamschoenemann / dmuac

Related projects ⓘ

Alternatives and complementary repositories for dmuac

• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆17Updated 3 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 2 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆58Updated 4 years ago
• david-christiansen / dan-scheme
  A very little language
  ☆16Updated last year
• namin / leanTAP
  A Declarative Theorem Prover for First-Order Classical Logic
  ☆28Updated 4 months ago
• benediktahrens / CT4P
  ☆31Updated this week
• stamourv / partial-evaluation-tutorial
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Updated 12 years ago
• webyrd / miniKanren-hangout-summaries
  Summaries of intro and advanced miniKanren hangout series
  ☆28Updated 6 years ago
• syntax-objects / Summer2021
  Syntax Parse Bee 2021
  ☆11Updated 2 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated 2 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆37Updated 3 weeks ago
• fosskers / org-mode
  Parser for Emacs org-mode files
  ☆31Updated 9 months ago
• webyrd / summer-scheming
  Summer Scheming!!!!!!
  ☆11Updated 4 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆55Updated 2 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆47Updated last year
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 2 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆35Updated 4 years ago
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 5 years ago
• djvelleman / HTPILeanPackage
  ☆24Updated 2 months ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆20Updated 11 months ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 8 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 2 years ago
• pnwamk / datatype
  (Somewhat) Algebraic Data Types for Racket
  ☆35Updated last year
• syntax-objects / syntax-parse-example
  Collection of syntax/parse macros
  ☆29Updated 2 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆13Updated 5 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆48Updated 9 months ago