๐ | IDE focused programming language study
โ39Mar 4, 2024Updated 2 years ago
Alternatives and similar repositories for lura
Users that are interested in lura are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Dec 4, 2024Updated last year
- Atiny is a simple compiler for a ML like languageโ11Aug 16, 2023Updated 2 years ago
- wecs (wckd-ecs) is a simple ECS library suitable for general use.โ10Sep 12, 2024Updated last year
- Minecraft java and bedrock libraryโ23Apr 15, 2023Updated 3 years ago
- A library to access the PopcornTime APIโ12Apr 3, 2021Updated 5 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.
- ๐ฎ | Is a programming language aimed at incorporating everything Iโd like to have in Haskell, except dependent types.โ14Aug 13, 2022Updated 3 years ago
- โ19Oct 5, 2023Updated 2 years ago
- ๐ฆ | A language that compiles to LLVM and has algebraic effectsโ111Nov 26, 2023Updated 2 years ago
- โ22Nov 23, 2023Updated 2 years ago
- Basically the C programming language peppered with my preferencesโ12Jun 12, 2025Updated last year
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDBโ35Mar 7, 2023Updated 3 years ago
- My blog repositoryโ18Jul 6, 2026Updated 3 weeks ago
- ๐งฎ | Writing an Equation Solverโ34Aug 5, 2023Updated 2 years ago
- โ11Apr 8, 2025Updated last year
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tentative write-up of a neat trick used in the Mezzo type-checkerโ15Nov 27, 2015Updated 10 years ago
- A compile-to-JavaScript language with tight TypeScript integration.โ23Oct 15, 2023Updated 2 years ago
- Go load-balancing and upstream checks libraryโ18Jul 1, 2026Updated 3 weeks ago
- A GHC source plugin which detects opportunities to use coerceโ17Aug 8, 2018Updated 7 years ago
- A semantic highlighter for Idris codeโ14Feb 22, 2018Updated 8 years ago
- โ19Mar 12, 2023Updated 3 years ago
- Epic rust Discord botโ15Mar 25, 2023Updated 3 years ago
- OCaml bindings to the number theory library PARI/GPโ12Jan 11, 2025Updated last year
- This repo keeps track of my codes, answers and thinkings when exploring books.โ24Apr 21, 2021Updated 5 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.
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficienโฆโ43Jul 27, 2019Updated 7 years ago
- A proof-of-concept smart pointer library in Cโ22Dec 26, 2018Updated 7 years ago
- A **dummy** k8s from scratch with my nameโ25Oct 9, 2023Updated 2 years ago
- beginner course about typescriptโ27Jun 3, 2020Updated 6 years ago
- ๐ฅ | Rinha de compiladores (ou interpretadores kkkkโ924Oct 4, 2023Updated 2 years ago
- Unofficial cobalt command line client made in go.โ58Nov 25, 2024Updated last year
- Generate PIX QRCode/Copy Paste with this framework.โ14May 29, 2024Updated 2 years ago
- Simplify and render Template Haskellโ18Aug 19, 2018Updated 7 years ago
- โ27Apr 26, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off โข AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- fullstack twitter clone developed with GraphQL and Relayโ35Apr 25, 2024Updated 2 years ago
- โ76Dec 2, 2024Updated last year
- โ10Apr 10, 2024Updated 2 years ago
- The Haskell implementation of the Milho programming language.โ29Jul 17, 2023Updated 3 years ago
- Minecraft Avatars in PHP.โ10Feb 16, 2015Updated 11 years ago
- โ11Jan 28, 2022Updated 4 years ago
- Practical type inference for arbitrary-rank typesโ11May 25, 2019Updated 7 years ago