pmatos / racket-binaryen
Binaryen bindings for Racket
☆11Updated 3 years ago
Alternatives and similar repositories for racket-binaryen:
Users that are interested in racket-binaryen are comparing it to the libraries listed below
- Collection of Utilities for Gerbil Scheme☆43Updated 8 months ago
- adqc - A version of C with verification and resource bounds☆23Updated 3 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 6 months ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- An embeddable flow-oriented language.☆70Updated last month
- Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, an…☆60Updated 2 years ago
- A Racket refactoring engine☆63Updated last week
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- A data frame implementation for Racket☆37Updated 11 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Simple, filesystem-based caching for Racket☆17Updated 2 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 2 weeks ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- Mocking library for Racket☆22Updated 4 years ago
- A property-based testing library for Racket.☆32Updated last year
- Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]☆61Updated 3 years ago
- Wasm tooling in Racket.☆43Updated last year
- SLAYER ported to Racket☆20Updated 5 years ago
- ☆14Updated last month
- A Scala-style magic function application form☆43Updated 2 years ago
- Use Python from Racket☆30Updated 8 months ago
- Date and time library for Racket☆44Updated last year
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 6 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A server, client and UI for remotely debugging Racket applications.☆20Updated 10 months ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Decentralized Software Organisms☆18Updated 2 years ago
- ☆22Updated 2 years ago