Alternatives and similar repositories for dcic-public

Users that are interested in dcic-public are comparing it to the libraries listed below

• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• mflatt / zuo
  ☆41Updated 6 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated 2 weeks ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆57Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆72Updated last month
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆67Updated this week
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆29Updated 3 years ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆67Updated 5 years ago
• miniKanren / Racket-miniKanren
  Canonical miniKanren implementation in Racket
  ☆86Updated 4 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆47Updated last week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆38Updated last month
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆121Updated 8 months ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆51Updated 2 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year
• abuseofnotation / termlisp
  A lisp dialect based on pattern matching and term rewriting
  ☆85Updated last year
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆32Updated 6 years ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 3 years ago
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆11Updated last year
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆165Updated 10 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆119Updated this week
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• mthom / scryer-shen
  ☆56Updated 6 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆33Updated 2 years ago