Alternatives and similar repositories for dcic-public

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

• mflatt / zuo
  ☆41Updated 7 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last month
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆120Updated last month
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆57Updated 2 years ago
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆21Updated last year
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆32Updated 2 years ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆51Updated 2 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆68Updated 3 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆88Updated last week
• engboris / stellogen
  An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
  ☆121Updated last week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆38Updated 2 months ago
• mthom / scryer-shen
  ☆57Updated 7 months ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated 2 years ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated 3 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• zamora / lightsaber
  Draw lightsabers using Racket's pict library
  ☆11Updated 6 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆140Updated 7 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated 2 months ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year
• lang-party / Summer2022
  Lang Party 2022
  ☆25Updated 3 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆64Updated 7 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆44Updated 10 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆74Updated 6 months ago
• 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
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 3 years ago