shriram / smolLinks
The SMoL (Standard Model of Languages) Family of Languages
☆19Updated 8 months ago
Alternatives and similar repositories for smol
Users that are interested in smol are comparing it to the libraries listed below
Sorting:
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last month
- A diagram drawing library for Racket☆19Updated 4 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- An LLM-first programming language.☆32Updated 7 months ago
- Draw lightsabers using Racket's pict library☆11Updated 6 years ago
- Category Theory in Programming☆12Updated 3 weeks ago
- Some code in the Rhombus/Shrubbery prototype☆12Updated 8 months ago
- Use Python from Racket☆33Updated last year
- A property-based testing library for Racket.☆32Updated last year
- Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.☆30Updated 4 years ago
- Mystery Languages☆38Updated 2 years ago
- A language for writing command line interfaces in Racket☆15Updated 3 years ago
- A column-oriented, dataframe implementation for Racket.☆17Updated 5 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated 2 months ago
- Multi-file check-syntax database☆14Updated last year
- Infrastructure to autograde Racket code on Gradescope☆17Updated 7 months ago
- Easy scripting for DrRacket☆18Updated 2 weeks ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated last month
- An embeddable flow-oriented language.☆72Updated 3 weeks ago
- A DSL for runtime code generation in racket☆67Updated 3 years ago
- ☆12Updated 2 months ago
- Adds syntax to racket languages☆11Updated 3 years ago
- ☆15Updated 3 years ago
- Wasm tooling in Racket.☆44Updated 2 years ago
- A notional machine for the SMoL languages☆22Updated last year
- ☆22Updated 5 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated 2 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Updated 4 years ago
- A weak opening parenthesis for Racket, good for eliminating indentation.☆13Updated 3 weeks ago
- A Scala-style magic function application form☆43Updated 3 years ago