Library-based Language Extensibility
☆40Sep 2, 2014Updated 11 years ago
Alternatives and similar repositories for sugarj
Users that are interested in sugarj are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Generic representation and manipulation of abstract syntax☆27Mar 21, 2026Updated 4 months ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated 2 years ago
- Type checking ifdef variability☆80Sep 7, 2021Updated 4 years ago
- Skeletal javax.lang.model Implementation, Plus Concrete Realization Backed by Core Reflection, Akin to JEP 119☆17May 26, 2015Updated 11 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.
- Database-Supported Haskell☆28Feb 24, 2018Updated 8 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Apr 17, 2026Updated 3 months ago
- Haskell bindings to libsystemd-journal☆21Feb 9, 2026Updated 6 months ago
- ☆12Jun 26, 2024Updated 2 years ago
- Tiny type-checker with dependent types☆78Jan 8, 2014Updated 12 years ago
- Web UI Compressor☆45Sep 27, 2016Updated 9 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- A Nix evaluator written in Rust☆12Feb 9, 2020Updated 6 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- passing siteswap assistant - siteswap generator, local siteswap, causal diagram☆22Updated this week
- Kotlin 1.1 async clients for sync protocols: Mysql, Postgres, Thrift, Http☆23Jan 24, 2017Updated 9 years ago
- ScaLALR : LALR parser generator for embedded DSLs in Scala☆13Feb 20, 2018Updated 8 years ago
- INterface Diffing and Inspection Assistant☆30Apr 6, 2016Updated 10 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆63Jun 23, 2023Updated 3 years ago
- Frege interface to Android☆15Sep 16, 2015Updated 10 years ago
- Command line tool to flatten XML into a line-oriented, greppable format☆15May 6, 2026Updated 3 months ago
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 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.
- ☆28Mar 13, 2019Updated 7 years ago
- Python library that builds FFI between Python and Euslisp.☆11Mar 14, 2020Updated 6 years ago
- Example to compile React JSX with TypeScript☆10Mar 30, 2017Updated 9 years ago
- A Notebook Environment for Safe and Efficient Exploration☆14Jul 16, 2023Updated 3 years ago
- Yet another concurrent playground☆32Nov 18, 2015Updated 10 years ago
- A PLT Redex implementation of Featherweight Java☆16Oct 8, 2012Updated 13 years ago
- ☆14Jan 22, 2017Updated 9 years ago
- Simple flat file CMS☆15May 23, 2021Updated 5 years ago
- Arquillian WebLogic Containers☆17Oct 4, 2022Updated 3 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 framework for easily patching JVM programs. Part of Project Lombok.☆42Aug 6, 2026Updated last week
- http://rfc.zeromq.org/spec:23☆15Feb 13, 2014Updated 12 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- GProM is a middleware that adds support for provenance to database backends.☆12Jun 26, 2026Updated last month
- Library of categories, with categorical constructions on them☆59Aug 12, 2023Updated 3 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago