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 5 months ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆57Updated 2 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last week
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆139Updated 7 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆71Updated last week
• shriram / smol
  The SMoL (Standard Model of Languages) Family of Languages
  ☆20Updated 10 months ago
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• dsagman / picat
  Learning Constraint Programming with Picat
  ☆48Updated 2 weeks ago
• dhess / rabbit-scheme
  Guy Steele's RABBIT Scheme compiler
  ☆61Updated 16 years ago
• mthom / scryer-shen
  ☆56Updated 5 months ago
• bugsbugsbux / understanding-j
  An introduction to the J programming language that gets to the point.
  ☆66Updated 3 months ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆121Updated 6 months ago
• a-yiorgos / wambook
  Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci
  ☆66Updated 5 years ago
• interregna / arraylanguage-companies
  A List of companies that use Array Languages (J, K, APL, q)
  ☆100Updated last year
• Dyalog / MDAPL
  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
  ☆36Updated 2 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 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…
  ☆60Updated 5 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆117Updated last week
• aartaka / lamber
  A functional scripting language compiling to pure Lambda Calculus
  ☆31Updated last month
• mfelleisen / 7GUI
  the 7 gui project
  ☆57Updated last year
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆37Updated 3 weeks ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆56Updated 9 years ago
• hebisch / poplog
  ☆26Updated 2 months ago
• zkry / tessellation
  a library to assist in the design of geometric designs
  ☆25Updated 5 years ago
• Bogdanp / racket-review
  A linter for Racket.
  ☆46Updated last month
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• dev-null321 / RacoGrad
  Deep learning library
  ☆44Updated 8 months ago
• false-schemers / siof
  SIOF (Scheme In One File) is a minimal interpreter for R7RS Scheme
  ☆74Updated 3 years ago