data-centric-computing / dcic-publicLinks
Repository for (for now) filing bug reports about DCIC.
☆30Updated 4 months ago
Alternatives and similar repositories for dcic-public
Users that are interested in dcic-public are comparing it to the libraries listed below
Sorting:
- ☆41Updated 7 months ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated last month
- Mystery Languages☆41Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated last month
- A 2D RPG implemented in the Rhombus Racket dialect☆57Updated 2 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆21Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Learning Constraint Programming with Picat☆51Updated 2 months ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- A custom parser/auto-formatter for Standard ML☆88Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆121Updated last week
- A metalanguage for creating sophisticated DSLs in Racket.☆38Updated 2 months ago
- ☆57Updated 7 months ago
- A notional machine for the SMoL languages☆21Updated 2 years ago
- A linter for Racket.☆46Updated 3 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆94Updated 3 weeks ago
- Draw lightsabers using Racket's pict library☆11Updated 6 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 months ago
- Useful things for Standard ML☆71Updated last year
- Lang Party 2022☆25Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- 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
- Accompanying materials for "A Core Calculus for Documents"☆36Updated 2 years ago
- Prolog implementation of microKanren☆44Updated 10 years ago
- Course on Metaprogramming☆74Updated 6 months ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- Adds syntax to racket languages☆11Updated 3 years ago