data-centric-computing / dcic-publicLinks
Repository for (for now) filing bug reports about DCIC.
☆29Updated last month
Alternatives and similar repositories for dcic-public
Users that are interested in dcic-public are comparing it to the libraries listed below
Sorting:
- CMSC 430 Design and Implementation of Programming Languages☆51Updated this week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Updated 3 years ago
- ☆41Updated 3 months ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆66Updated 5 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Mystery Languages☆40Updated 2 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆30Updated 2 years ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- A 2D RPG implemented in the Rhombus Racket dialect☆56Updated 2 years ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 4 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆138Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Bibliography of Scheme-related Research☆15Updated 6 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- ☆56Updated 4 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆56Updated 9 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆20Updated 8 months ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Learning Constraint Programming with Picat☆41Updated this week
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆16Updated 3 years ago
- Plot Cookbook☆50Updated 2 years ago
- Useful things for Standard ML☆70Updated 11 months ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆116Updated last week
- Creative Racket competition☆14Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago