Alternatives and similar repositories for dcic-public

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

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• mflatt / zuo
  ☆40Updated last month
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 3 weeks ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆53Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• hanleyc01 / rkttt
  ☆12Updated 2 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆26Updated 2 years ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 4 years ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆63Updated 2 months ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆62Updated 16 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• zkry / tessellation
  a library to assist in the design of geometric designs
  ☆24Updated 5 years ago
• mthom / scryer-shen
  ☆54Updated 2 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆58Updated last month
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆33Updated 10 years ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆68Updated 9 months ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• mfelleisen / 7GUI
  the 7 gui project
  ☆56Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆78Updated 2 months ago
• shriram / gradescope-racket
  Infrastructure to autograde Racket code on Gradescope
  ☆17Updated 5 months ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆135Updated 7 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 7 months ago