ligolang / ligoView external linksLinks
☆17Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for ligo
Users that are interested in ligo are comparing it to the libraries listed below
Sorting:
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated last year
- ☆12Jan 6, 2023Updated 3 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- A programming environment for Minecraft☆15Aug 5, 2022Updated 3 years ago
- A tree-walk interpreter and a bytecode virtual machine interpreter written in the Rust Programming Language.☆13Jun 16, 2022Updated 3 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB☆35Mar 7, 2023Updated 2 years ago
- fullstack twitter clone developed with GraphQL and Relay☆34Apr 25, 2024Updated last year
- Twitter clone with relay/mongodb/typescript☆15Sep 26, 2022Updated 3 years ago
- A companion library for writing applications on Tezos (in OCaml)☆17Jan 29, 2024Updated 2 years ago
- Typed SDK for TzKT API☆17Sep 27, 2023Updated 2 years ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Aug 13, 2022Updated 3 years ago
- A simple (and unfinished!!) database management system.☆21Jun 12, 2023Updated 2 years ago
- Compositional JSON encode/decode library and PPX for Melange and OCaml☆23Dec 14, 2025Updated last month
- This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust. If you are looking for a complete and m…☆27Oct 9, 2025Updated 4 months ago
- ☆19Oct 5, 2023Updated 2 years ago
- 🦄 Front-end build with React, Relay and GraphQL☆22Oct 30, 2025Updated 3 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 4 years ago
- 📱| Tiktok web clone☆23Jun 13, 2024Updated last year
- ☆20Oct 4, 2023Updated 2 years ago
- A **dummy** k8s from scratch with my name☆25Oct 9, 2023Updated 2 years ago
- Eventually a practical 2-level TT-based compiler☆31Feb 3, 2026Updated last week
- Compiler for a very restricted subset of OCaml☆25Jan 4, 2016Updated 10 years ago
- AGL (AnotherGoLang)☆105Nov 16, 2025Updated 2 months ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- Material for my Relay Workshop☆28Jul 29, 2021Updated 4 years ago
- A Zuper Awesome Shell☆32Oct 2, 2023Updated 2 years ago
- A minimal terminal music player☆11Feb 19, 2022Updated 3 years ago
- ☆81Feb 1, 2023Updated 3 years ago
- A miniature model of the Typescript compiler☆34Jun 28, 2024Updated last year
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- ☆10Oct 9, 2023Updated 2 years ago
- Docker image for building MongoDB for Linux from source.☆12Feb 14, 2025Updated 11 months ago
- Rust implementation of the Ulrich Drepper's "What every programmer should know about memory"☆13Aug 24, 2023Updated 2 years ago
- JSON-RPC 2.0 implementation for Symfony☆11Jan 6, 2026Updated last month
- Monorepo for the Torus Network TypesSript Ecosystem. It's managed with Turborepo and pnpm.☆16Updated this week
- Type-safe hashmap type generator for C☆24Jan 20, 2026Updated 3 weeks ago
- Demo to showcase server-reason-react with Melange☆46Feb 4, 2025Updated last year