Binaryen bindings for Racket
☆11Oct 20, 2021Updated 4 years ago
Alternatives and similar repositories for racket-binaryen
Users that are interested in racket-binaryen are comparing it to the libraries listed below
Sorting:
- Daily snapshots of the Racket Package Catalog.☆11Aug 19, 2025Updated 6 months ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago
- ☆19Feb 28, 2021Updated 5 years ago
- ☆14Feb 21, 2021Updated 5 years ago
- Wasm tooling in Racket.☆45May 26, 2023Updated 2 years ago
- GUI Frosthaven Scenario Manager☆18Updated this week
- European Lisp Symposium Website Tools☆20Jan 25, 2026Updated last month
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- The new CodeSpells, see codespells.org for details☆22Aug 22, 2021Updated 4 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 2 weeks ago
- A mechanisation of Wasm in Isabelle.☆32Feb 13, 2026Updated 2 weeks ago
- A Tour of Standard ML (in the style of A Tour of Go)☆59Jul 4, 2021Updated 4 years ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Jan 11, 2020Updated 6 years ago
- oidc-client-ts wrapper for Angular and Capacitor☆12Dec 14, 2025Updated 2 months ago
- A simple C++ COLLADA parser and OpenGL viewer, DevIL texture loading with a test QT interface.☆10Jul 22, 2012Updated 13 years ago
- Perl bindings to the Git linkable library (libgit2)☆56Jul 20, 2023Updated 2 years ago
- ☆11Oct 25, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆15Jul 23, 2024Updated last year
- Dockerized Screaming Frog SEO Spider☆13May 22, 2023Updated 2 years ago
- small C coroutine library based on pypy's stacklet and boost context☆12Jan 28, 2018Updated 8 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Dec 3, 2022Updated 3 years ago
- Neural networks library for Clojure. Built on top of core.matrix☆10May 16, 2016Updated 9 years ago
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 6 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Directly copy selected code or files from vscode to a chatgpt tab in browser☆12Mar 14, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- This repo would serve as an interface between the different clients and the platform. For API information please refer to the fabric8-ana…☆12Apr 13, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- A functional programming language with lisp syntax and ML semantics that runs on the BEAM☆47Oct 25, 2021Updated 4 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Apr 23, 2025Updated 10 months ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- Write Like Hemingway☆12Nov 28, 2014Updated 11 years ago