Alternatives and similar repositories for dcic-public:

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

• mflatt / zuo
  ☆40Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆50Updated 4 months ago
• hebisch / poplog
  ☆26Updated last month
• zkry / tessellation
  a library to assist in the design of geometric designs
  ☆24Updated 4 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated last year
• scheme-and-computer-science / library.readscheme.org
  Bibliography of Scheme-related Research
  ☆15Updated 6 years ago
• kiranandcode / rhombus-in-the-rough
  A 2D RPG implemented in the Rhombus Racket dialect
  ☆53Updated last year
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• webyrd / alphaKanren
  Nominal logic programming extensions to miniKanren, based on alphaProlog.
  ☆25Updated 11 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated 11 months ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 2 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆66Updated 6 months ago
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 4 years ago
• 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.
  ☆34Updated 2 years ago
• theoremprover-museum / LCF77
  The original Edinburgh LCF.
  ☆32Updated 8 years ago
• stylewarning / quantum-interpreter
  A tiny, self-contained, general-purpose quantum interpreter.
  ☆48Updated last year
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated 2 weeks ago
• standard-fish / creative-racket-2022
  Creative Racket competition
  ☆14Updated 2 years ago
• emdonahue / SmallKanren
  miniKanren in Pharo
  ☆10Updated 10 months ago
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆38Updated last year
• panicz / master-thesis
  Data Structure Optimization for Functional Programs
  ☆33Updated 6 years ago
• mflatt / plait
  ☆22Updated 2 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 4 months ago
• johnstonskj / simple-oauth2
  Simple Racket implementation of the OAuth2 family of specifications
  ☆13Updated 4 years ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 years ago