๐งฎ | Writing an Equation Solver
โ34Aug 5, 2023Updated 3 years ago
Alternatives and similar repositories for eq
Users that are interested in eq are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Atiny is a simple compiler for a ML like languageโ11Aug 16, 2023Updated 2 years ago
- ๐งช | LLVM backend for HVMโ23May 23, 2023Updated 3 years ago
- ๐ | Functional programming language written in kotlin.โ59Oct 20, 2022Updated 3 years ago
- โ19Oct 5, 2023Updated 2 years ago
- A curated list of resources on the science of learning anythingโ35Dec 17, 2024Updated last year
- 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.
- Lambda Calculus parser and interpreter made in TypeScript's type systemโ14May 24, 2024Updated 2 years ago
- โค๏ธ | Fancy diagnostics for Mietteโ14Oct 3, 2024Updated last year
- compile TypeScript or JavaScript to binariesโ21May 25, 2023Updated 3 years ago
- ๐ The Blow Your Mind Conferenceโ15Updated this week
- A linguagem dos memesโ13Sep 21, 2022Updated 3 years ago
- Crafting an interpreter/compiler with TypeScript.โ54Jun 28, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiableโ18Feb 22, 2026Updated 5 months ago
- Markup-Like Declarative Web Componentsโ14Feb 1, 2024Updated 2 years ago
- A service scheduler and load balancer.โ10Jul 10, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ๐ | IDE focused programming language studyโ39Mar 4, 2024Updated 2 years ago
- โ๏ธ REST api with NodeJS(KoaJS) MongoDB and Jest Tests.โ11Mar 21, 2025Updated last year
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDBโ35Mar 7, 2023Updated 3 years ago
- ๐ | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).โ47Mar 25, 2022Updated 4 years ago
- fullstack twitter clone developed with GraphQL and Relayโ35Apr 25, 2024Updated 2 years ago
- Yet another Ruby interpreter for Rinha de Compiladoresโ23Sep 28, 2023Updated 2 years ago
- A meta-repository for the LooPy interactive program synthesizerโ18Mar 28, 2022Updated 4 years ago
- My NixOS configurationโ12Updated this week
- Notification system, that schedules alarms on redis and send to all consumers.โ13Jan 24, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- โ24Aug 12, 2023Updated 3 years ago
- A Simple Abstract Interpreter, built for teaching purposesโ21May 13, 2020Updated 6 years ago
- A TOML parser for Idris 2โ17Jun 27, 2024Updated 2 years ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"โ13Aug 24, 2023Updated 2 years ago
- Toy programming languageโ20May 18, 2024Updated 2 years ago
- Go load-balancing and upstream checks libraryโ18Jul 1, 2026Updated last month
- Library for causal and probabilistic inference in Juliaโ12Feb 4, 2025Updated last year
- โ19Mar 12, 2023Updated 3 years ago
- ๐จ An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.โ34Sep 29, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ๐ Um boilerplate HTML + CSS para desenvolvermos uma contagem regressiva para o ano novo ๐โ17Mar 31, 2020Updated 6 years ago
- ่ฎฉ Java 1.8 ไน่ฝๅ Kotlin ไธๆ ทไฝฟ็จ Sealed ClassใMake Java 1.8 use Sealed Class like Kotlinโ12Aug 31, 2022Updated 3 years ago
- A Haskell library making it easier to write Alex lexers.โ12Sep 15, 2025Updated 10 months ago
- Brazilian CPF parsing, validating and formatting library for Rust.โ13Jan 5, 2025Updated last year
- A miniature model of the Typescript compilerโ34Jun 28, 2024Updated 2 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.โ13Jun 16, 2022Updated 4 years ago
- โพ๏ธ A library for universe levels and universe polymorphismโ42Jun 19, 2026Updated last month