Racket
3 projects
Showing 3 of 3 projects
J-BobScheme
A lightweight proof assistant for teaching and exploring formal verification, accompanying The Little Prover book.
#racket#functional-programming#educational
Stars435
Forks66
Last commit2 years ago
RacketScriptRacket
An experimental lightweight Racket to JavaScript (ES6) compiler that enables interoperability between both ecosystems.
#racket#functional-programming#language-interop
Stars14
Forks2
Last commit4 years ago
racket completionShell
A Racket package providing shell completion functionality for Racket command-line tools.
#racket#developer-tools#tab-completion
Stars6
Forks10
Last commit1 month ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.