dcnorris / precautionary
Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
☆27Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for precautionary
- Optional types for Prolog☆16Updated 4 years ago
- Web Framework for SWI-Prolog☆41Updated 8 years ago
- Fast, simplified WAM-based Prolog system☆18Updated last year
- Template engine for ISO Prolog, based on Jinja and Tera☆14Updated 9 months ago
- ☆43Updated 2 weeks ago
- Boolean Constraint Solving in Prolog☆37Updated last year
- DocLog builds documentation from source code in Prolog☆23Updated last week
- Interactive Scheme Primer, written in Scheme.☆22Updated last month
- Guy Steele's RABBIT Scheme compiler☆58Updated 15 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Kanren with databases☆43Updated 3 months ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆65Updated 3 months ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A Djot implementation in Prolog☆22Updated 10 months ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- ☆40Updated 7 months ago
- A grammar of data manipulation for Racket.☆20Updated last week
- Apply and compose functions in Prolog☆19Updated 8 years ago
- Bringing Prolog to the masses.☆35Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- Poplog☆21Updated 14 years ago
- Your happy place for learning APL☆16Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆49Updated 8 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- Benoit Desouter's library for tabling on delimited continuations☆9Updated 8 years ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆24Updated 10 years ago