experimental minimalistic symbolic term rewriting framework
☆18Aug 17, 2025Updated 6 months ago
Alternatives and similar repositories for symbolverse
Users that are interested in symbolverse are comparing it to the libraries listed below
Sorting:
- C Compiler written in Kotlin☆13Apr 19, 2024Updated last year
- A partial transpiler from Haskell to Julia.☆16Sep 1, 2020Updated 5 years ago
- A high level programming language powered by Rust☆18May 17, 2024Updated last year
- A custom compiler backend designed to be small, have fast compilation, and be complete enough to be used for actual compilers.☆17Mar 14, 2025Updated 11 months ago
- A MiniJava compiler written in C++, focusing on speed of compilation, simplicity and (somewhat) nice error messages.☆49Feb 15, 2022Updated 4 years ago
- A tool for generating geometric figures based on definitions and rules.☆20Dec 11, 2024Updated last year
- A tiny lazy objective functional language☆19Sep 12, 2024Updated last year
- 🚧 A work-in-progress GLSL compiler targeting SPIR-V mlir 🚧☆22Oct 18, 2024Updated last year
- A pure Nim Domain Name System (DNS) client☆27Oct 21, 2025Updated 4 months ago
- A write once, run anywhere programming language/data structure☆31Jan 30, 2026Updated last month
- Nim plugin for the asdf version manager [maintainer=@elijahr]☆27Feb 11, 2026Updated 2 weeks ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32May 18, 2023Updated 2 years ago
- JavaScript projects for beginners.☆10Oct 26, 2022Updated 3 years ago
- ☆51Jan 30, 2026Updated last month
- jtcpp was an experimental JVM bytecode to C++ transpiler(abandoned).☆33Jul 20, 2023Updated 2 years ago
- Automatically create GitHub repositories using YAML templates.☆12Jul 10, 2022Updated 3 years ago
- Parse a structured json file to react component☆10Aug 20, 2021Updated 4 years ago
- Loja virtual para treinamento e desenvolvimento de aprendizagem da linguagem, usando PHP, JAVASCRIPT, JQUERY, MYSQL, BOOTSTRAP, CSS3☆10Apr 6, 2018Updated 7 years ago
- PHP framework for Telegram Bots☆12Jan 3, 2023Updated 3 years ago
- Virtual programming language☆10Dec 5, 2022Updated 3 years ago
- Runflow is a tool to define and run workflows.☆10Jul 13, 2021Updated 4 years ago
- ☆12Dec 16, 2024Updated last year
- This server is made to serve the MSN-Messenger app develop by Gabriel Godoy. This applications is capable to register users and messages …☆10Dec 20, 2022Updated 3 years ago
- A ZIM to Markdown converter☆12May 31, 2014Updated 11 years ago
- Simple tab sorter that allows user-defined tab group order☆51May 28, 2025Updated 9 months ago
- Two Intellij IDEA plugins for uploading code / files to hastebin and Discord☆10Oct 7, 2024Updated last year
- flutter corona tracker app, still in beta..☆10May 3, 2020Updated 5 years ago
- Meu material para estudo front-end contendo: HTML, CSS, Bootstrap, Javascript, ES6, ES7, ES8, ES9, ES10, ES11, ES12, PHP, Ajax, MySQL, jQ…☆12Mar 3, 2022Updated 4 years ago
- É um conjunto de regras para orientar a conduta e as atividades de um grupo de pessoas de acordo com os seus princípios e objetivos.☆10Jul 28, 2021Updated 4 years ago
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- 🆚 VSCode extension for custom status bar buttons. Buttons are used to execute custom commands in Terminals or to emulate short-cuts. The…☆14Jun 23, 2022Updated 3 years ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- ngtx stands for "Angular Testing Extensions". It is a small set of functions aiming to make your life easier when testing Angular compone…☆11Jan 30, 2026Updated last month
- Stack based virtual machine☆42May 10, 2015Updated 10 years ago
- Reversible YAML parsing for package.json☆11Jun 16, 2023Updated 2 years ago
- Simple Typescript/Javascript framework for DOM manipulation☆15Aug 25, 2022Updated 3 years ago
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Simple threadpool based on C11☆10Jul 29, 2020Updated 5 years ago