C parser and code generator for ruby
☆54Jan 19, 2025Updated last year
Alternatives and similar repositories for cast
Users that are interested in cast are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Port of whitequark/parser's lexer in C☆14Nov 23, 2022Updated 3 years ago
- Cross platform action for Ruby CI☆15Mar 11, 2026Updated 4 months ago
- Brainf*ck interpreter☆13Mar 7, 2018Updated 8 years ago
- The Egison tutorial☆15Dec 18, 2021Updated 4 years ago
- A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool.☆12Mar 4, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Lex is an implementation of lex tool in Ruby.☆58Mar 17, 2024Updated 2 years ago
- A SCIP indexer for Ruby, powered by Sorbet☆21Jul 3, 2026Updated 3 weeks ago
- Kernel in nim☆18Oct 30, 2018Updated 7 years ago
- An unofficial open source implementation of the Storm standard library.☆14Feb 23, 2026Updated 5 months ago
- Ruby-FFI compatible API layer for Fiddle.☆15Oct 23, 2021Updated 4 years ago
- A generator for Ruby FFI bindings, directly from header files via LLVM's Clang compiler☆89Apr 8, 2023Updated 3 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Mar 15, 2021Updated 5 years ago
- Ruby's Classic Site Installer☆15Apr 7, 2026Updated 3 months ago
- A Go-Bot written in Ruby. Work not so much in progress anymore but also not quite done 😅☆35Aug 29, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OpenCL bindings for Ruby☆42Aug 15, 2023Updated 2 years ago
- Gtk3 tutorial for ruby based on the official C version☆111Jun 9, 2016Updated 10 years ago
- Binary parser for Crystal☆21Mar 13, 2022Updated 4 years ago
- lightweight file-based MapReduce system☆18Apr 23, 2013Updated 13 years ago
- Integer hashing based on Knuth's multiplicative hashing algorithm.☆10Nov 23, 2019Updated 6 years ago
- Outputs a source level execution trace of a Ruby program.☆94Jun 24, 2026Updated last month
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- A Qt5 binding for Ruby language. Using clang/llvm JIT engine. (stalled)☆12May 2, 2017Updated 9 years ago
- Ruby VM in pure Ruby☆28Apr 22, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A vim-emulator for jEdit 5☆15Apr 4, 2023Updated 3 years ago
- Utilities for creating and displaying Markdown tables in Ruby☆12May 26, 2019Updated 7 years ago
- The TV80 (Verilog) synthesizable soft core of Zilog Z80 (forked from http://opencores.org/project,tv80)☆10Jan 9, 2016Updated 10 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Objects and Algorithms for 2D Geometry in Ruby☆13Jul 31, 2023Updated 2 years ago
- pyama multi request☆10Nov 22, 2024Updated last year
- Perfect Shape is a collection of geometric algorithms that are mostly useful for GUI manipulation like checking containment of a point in…☆30Nov 29, 2023Updated 2 years ago
- Tiny immediate-mode UI library☆12Jun 8, 2019Updated 7 years ago
- StarExec is a cross community logic solving service☆19Jun 1, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- convert markdown to html and pdf - with syntax highlighting☆23Oct 30, 2018Updated 7 years ago
- A [ functional stack ] based language.☆30Oct 30, 2023Updated 2 years ago
- Utilities to replace common UNIX commands☆38Oct 7, 2025Updated 9 months ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 11 years ago
- Robust YAML parser for Nim.☆10Nov 30, 2015Updated 10 years ago
- Julia on Ruby☆21Aug 28, 2022Updated 3 years ago
- ☆26Aug 23, 2024Updated last year