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
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Web UI Compressor☆45Sep 27, 2016Updated 9 years ago
- Renders interactive fractal-like animations☆19May 16, 2017Updated 9 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Indexing of AST using graph databases (Neo4j)☆15Dec 30, 2015Updated 10 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆63Jun 23, 2023Updated 3 years 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
- Python library that builds FFI between Python and Euslisp.☆11Mar 14, 2020Updated 6 years ago
- Heaps Don't Lie! Analyzes standard JVM and Android heap snapshots to improve the completeness of program analysis tools such as Doop.☆17Feb 26, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Notebook Environment for Safe and Efficient Exploration☆14Jul 16, 2023Updated 3 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- An Asynchronous (Non-Blocking) MongoDB driver for the JVM☆15Sep 16, 2012Updated 13 years ago
- Repository of teaching material for product lines and variability☆12Aug 30, 2023Updated 2 years ago
- language independent software composition and merging☆33Mar 25, 2017Updated 9 years ago
- A flexible library for writing functional operations in Java☆24Jun 6, 2025Updated last year
- Arquillian WebLogic Containers☆17Oct 4, 2022Updated 3 years ago
- Metamath logic game☆10Jul 6, 2026Updated 2 weeks ago
- An extended typed Lambda Calculus☆22Jun 22, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A framework for easily patching JVM programs. Part of Project Lombok.☆41Apr 7, 2026Updated 3 months ago
- ☆13May 2, 2023Updated 3 years ago
- Redis search and indexing in Java☆16Sep 26, 2016Updated 9 years ago
- http://rfc.zeromq.org/spec:23☆15Feb 13, 2014Updated 12 years ago
- Pure Rust Whisper File Library☆11Mar 28, 2018Updated 8 years ago
- Build webserver using Julia☆15Apr 14, 2012Updated 14 years ago
- Inconsistent Code Detection for Java☆11Nov 3, 2020Updated 5 years ago
- The Self-Driving Database Management System☆12Jun 22, 2018Updated 8 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆13Feb 9, 2022Updated 4 years ago
- The "Grains" Java framework generates thread-safe, versionable objects.☆15Apr 28, 2020Updated 6 years ago
- A simple supercompiler formally verified in Agda☆34Mar 17, 2017Updated 9 years ago
- Object Algebra Composition☆24Jul 4, 2013Updated 13 years ago
- MPFR bindings for Haskell☆35Apr 17, 2026Updated 3 months ago
- Library classes for the Twelf Proof System☆22Jun 16, 2020Updated 6 years ago
- Generate flow charts from your code base.☆15Sep 14, 2015Updated 10 years ago