dannypsnl / k
k theorem prover
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for k
- ☆11Updated 2 weeks ago
- A server, client and UI for remotely debugging Racket applications.☆19Updated 5 months ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago
- A cron-like scheduler for Racket.☆12Updated last month
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- ☆21Updated 4 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated last year
- Kanren with databases☆43Updated 3 months ago
- ☆12Updated last year
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- Wasm tooling in Racket.☆40Updated last year
- Simple Racket implementation of the OAuth2 family of specifications☆13Updated 3 years ago
- Standard ML Infrastructure for writing LSP servers☆11Updated last month
- 🪆 A Staged Type Theory☆34Updated last year
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last week
- Analysis of Racket code base☆14Updated 4 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆11Updated 3 years ago
- A property-based testing library for Racket.☆29Updated 6 months ago
- Racket parser for tree-sitter☆31Updated 2 months ago
- ☆18Updated last year
- A Racket refactoring engine☆58Updated this week
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- racket llvm C-API bindings☆17Updated 2 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated last month
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated 2 weeks ago
- Daily snapshots of the Racket Package Catalog.☆12Updated 3 months ago