A lisp inspired functional programming language which compiles to WebAssembly
☆18Aug 14, 2024Updated last year
Alternatives and similar repositories for wacket
Users that are interested in wacket are comparing it to the libraries listed below
Sorting:
- A base Neovim configuration template inspired by Spacemacs☆17May 3, 2018Updated 7 years ago
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- A Truffle Clojure Interpreter (playground)☆12May 15, 2021Updated 4 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated last month
- Keyboard backlight control and notifications for i3wm☆13Jan 3, 2025Updated last year
- A function like clojure.core/format but with named args.☆13Aug 5, 2018Updated 7 years ago
- Commands to create predictable client with i3 window manager☆15Oct 4, 2020Updated 5 years ago
- A runtime-independent crate for transforming Wasm-DWARF☆12Mar 11, 2020Updated 6 years ago
- Decentralized blogish thing☆10Oct 10, 2020Updated 5 years ago
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Feb 18, 2025Updated last year
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- coinduction library for Coq☆24Nov 14, 2025Updated 4 months ago
- PureScript solutions for Advent of Code☆17Dec 7, 2022Updated 3 years ago
- Bayer demosaicing in OpenGL ES 2.0 shaders on Raspberry Pi☆20Mar 21, 2019Updated 7 years ago
- Crux on S3+DynamoDB☆16Jul 2, 2020Updated 5 years ago
- A component for running Figwheel☆18Apr 9, 2019Updated 6 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- View and navigate files☆28Dec 2, 2023Updated 2 years ago
- A model of the WebAssembly language in Redex☆21Mar 25, 2021Updated 4 years ago
- SQL bindings for tech.ml.dataset☆20Mar 12, 2024Updated 2 years ago
- Javascript SDK for MathWallet☆11Dec 14, 2020Updated 5 years ago
- ☆12Sep 5, 2022Updated 3 years ago
- A property-based testing library for Racket.☆34Apr 26, 2024Updated last year
- Quickcheck Clone implemented in Racket☆31Jul 30, 2024Updated last year
- ☆10Aug 20, 2024Updated last year
- One-Command Setup for TypeScript Smart Contracts and Hyperweb dApps☆16Dec 11, 2025Updated 3 months ago
- 🤝 Alliance chain with x/alliance module☆51Sep 4, 2024Updated last year
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 8 years ago
- 🛰️ Assets for Station☆13Aug 18, 2024Updated last year
- ☆17Oct 16, 2023Updated 2 years ago
- A KV implementation with Xodus for Crux☆20Oct 5, 2022Updated 3 years ago
- Write to files using 'sudo'☆27Oct 14, 2021Updated 4 years ago
- CosmWasm contracts in AssemblyScript (experiment)☆15Feb 4, 2023Updated 3 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- TensorFlow installation wheels for Raspberry Pi 64 OS☆46Apr 16, 2024Updated last year
- The Python SDK for Terra.☆14Feb 15, 2021Updated 5 years ago
- ☆10Sep 2, 2024Updated last year
- Full-featured haskell bindings for the duckdb database.☆20Oct 22, 2023Updated 2 years ago
- PSR-7 cURL HTTP client☆14Feb 7, 2025Updated last year