RASP-L in Haskell for my fellow rascals
☆20Dec 3, 2023Updated 2 years ago
Alternatives and similar repositories for raskell
Users that are interested in raskell are comparing it to the libraries listed below
Sorting:
- Mixture of Expert (MoE) techniques for enhancing LLM performance through expert-driven prompt mapping and adapter combinations.☆12Feb 11, 2024Updated 2 years ago
- ☆11Mar 20, 2025Updated 11 months ago
- ☆28Feb 12, 2026Updated 2 weeks ago
- A new script language based on Java☆11Apr 8, 2020Updated 5 years ago
- ☆11Nov 23, 2024Updated last year
- Paradox model finder and equinox theorem prover for first-order logic.☆22Sep 20, 2025Updated 5 months ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Jul 24, 2024Updated last year
- ☆17Jan 19, 2018Updated 8 years ago
- A dialect of Lisp that designed for Minecraft Bedrock Command System.☆18Dec 23, 2023Updated 2 years ago
- ☆22Aug 27, 2023Updated 2 years ago
- A programming language for one-liner method chain lovers!☆25Dec 30, 2023Updated 2 years ago
- Voxel geometry structure generator☆22Apr 4, 2024Updated last year
- Automatic testing of MoonBit programs☆28Feb 11, 2026Updated 2 weeks ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Mar 24, 2019Updated 6 years ago
- 豫言☆27Nov 15, 2025Updated 3 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated last year
- 关于东灯你不知道的事实☆27Feb 18, 2024Updated 2 years ago
- A programming language that runs in Minecraft BE by compiling into commands☆30Sep 7, 2025Updated 5 months ago
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆40Mar 20, 2025Updated 11 months ago
- Websocket lib for Minecraft bedrock☆24Jan 23, 2022Updated 4 years ago
- 🧠 A sample app to integrate react-native and open ai☆11Jan 1, 2023Updated 3 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Oct 13, 2023Updated 2 years ago
- The root repository for the SpectralSequences project.☆32Feb 12, 2026Updated 2 weeks ago
- ☆13Mar 1, 2023Updated 2 years ago
- Go SDK for the Bare Metal Cloud API☆14Dec 20, 2025Updated 2 months ago
- An interpreter for RASP as described in the ICML 2021 paper "Thinking Like Transformers"☆324Sep 16, 2024Updated last year
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- Software specification and verification system based on graph rewriting☆37Nov 9, 2022Updated 3 years ago
- Effective Algebraic Topology in Haskell☆92Sep 13, 2024Updated last year
- A Minecraft Bedrock ScriptAPI creation manage tool.☆35Feb 24, 2024Updated 2 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- A powerful airgapped CLI tool for executing Ethereum validator operations including consolidation, switching, and both partial and full w…☆13Jan 13, 2026Updated last month
- Handlebars helper, alternative to built-in partials. Similar to handlebars-helper-partial, but this helper will allow wildcard (glob) pat…☆16Nov 10, 2014Updated 11 years ago
- A simple camera board using GMAX3412 1" 4K@30fps global shutter sensor☆19Dec 21, 2025Updated 2 months ago
- joke page until I decide what to do with this domain name☆39Jun 29, 2025Updated 7 months ago