dannypsnl / k
k theorem prover
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for k
- A diagram drawing library for Racket☆18Updated 3 years ago
- ☆11Updated last week
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- Some code in the Rhombus/Shrubbery prototype☆12Updated last year
- A server, client and UI for remotely debugging Racket applications.☆19Updated 4 months 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
- Use Python from Racket☆28Updated 3 months ago
- ☆21Updated 4 years ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- A Racket refactoring engine☆58Updated 2 weeks ago
- Forging Standard ML (SML) in emacs☆10Updated 2 years ago
- ☆18Updated last year
- Exploring Automatic Differentiation with Racket☆12Updated 2 years ago
- Stronger types for a few Typed Racket operators☆11Updated 9 months ago
- Analysis of Racket code base☆14Updated 4 years ago
- Daily snapshots of the Racket Package Catalog.☆12Updated 2 months ago
- Differentiation in logical form by Stone duality.☆8Updated 7 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated 9 months ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆27Updated last week
- A DrRacket plugin to make it experience like an IDE☆48Updated last month
- A property-based testing library for Racket.☆29Updated 6 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆16Updated 3 weeks ago
- My personal template repository for Racket packages☆15Updated 4 years ago
- An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)☆21Updated 5 years ago
- racket llvm C-API bindings☆17Updated 2 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 2 months ago