JVM Math Language with ANTLR and Graal
☆17Dec 1, 2020Updated 5 years ago
Alternatives and similar repositories for JVM-Math-Language
Users that are interested in JVM-Math-Language are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- super tiny implementation of higher-order logic proof assistant in lean☆22Sep 29, 2019Updated 6 years ago
- The code for the series of tutorials on my blog about the GraalVM Truffle language implementation framework☆50Jun 20, 2026Updated 2 weeks ago
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 6 years ago
- A collection of MPS languages and utils.☆13May 21, 2026Updated last month
- A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup☆12Jul 27, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🥟 Stanz is a scala library for purely functional Bayesian analysis.☆10Aug 7, 2020Updated 5 years ago
- Extensible Free Monad Effects☆14Mar 16, 2021Updated 5 years ago
- JMH projects http://openjdk.java.net/projects/code-tools/jmh/☆12Nov 10, 2016Updated 9 years ago
- tiny web application framework for Java SE 8 on top of undertow.☆61Mar 4, 2016Updated 10 years ago
- ☆12Dec 2, 2019Updated 6 years ago
- Samples for Grails 3☆26Dec 22, 2015Updated 10 years ago
- Empowered Nix/Guix without root☆16Dec 3, 2018Updated 7 years ago
- ☆29Apr 12, 2023Updated 3 years ago
- Embulk output plugin for Treasure Data☆11Dec 12, 2025Updated 6 months 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.
- ☆20Jun 8, 2025Updated last year
- Emacs minor mode to interact with elixir buffers by using LSP☆16Jun 25, 2019Updated 7 years ago
- Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar☆24Aug 15, 2019Updated 6 years ago
- XBird: Light-weight XQuery processor and XML database system written in Java☆14Oct 8, 2019Updated 6 years ago
- ☆11May 3, 2020Updated 6 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Jun 23, 2026Updated last week
- A yet another Fluentd logger for Rust. a.k.a. verification of Fluentd's forward protocol playground.☆18Mar 29, 2021Updated 5 years ago
- 「Rustで始めるネットワークプログラミング」 4.8節（技術書典頒布版: masterブランチ）、第4章（web販売版: web-versionブランチ）のリポジトリです。☆14May 8, 2020Updated 6 years ago
- Programming with JetBrains MPS - Textbook for Beginners☆22Nov 9, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Meta build system☆14May 15, 2026Updated last month
- Yeoman generator for gradle plugin☆12May 21, 2026Updated last month
- WorldEngine's PyQt based GUI☆13Jul 9, 2015Updated 10 years ago
- Demonstrate calling Rust functions from Elixir using Erlang NIF interface☆16Jan 18, 2016Updated 10 years ago
- Catenable lists☆21Apr 27, 2022Updated 4 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Mar 28, 2015Updated 11 years ago
- A lightweight library to calculate tensors in Kotlin, which has similar APIs to TensorFlow's☆11Nov 28, 2016Updated 9 years ago
- Tutorial projects for MonacoFX☆11Aug 17, 2022Updated 3 years ago
- Code completion for ANTLR☆10Sep 15, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A simple parser generator written in Java (fork of JavaCC 7.0.3) and used in ph-javacc-maven-plugin☆10Sep 19, 2025Updated 9 months ago
- Generic migration tool for RDBMS and other resources based on Liquibase☆40Jun 22, 2026Updated last week
- Advanced Scripting IDE for JVM based languages.☆28Sep 28, 2021Updated 4 years ago
- sbt plugin for scala modules.☆13Jun 23, 2026Updated last week
- Runs an Erlang node on an ActorSystem of Akka.☆43Oct 4, 2016Updated 9 years ago
- Enhanced standard types for Haxe☆17Apr 7, 2023Updated 3 years ago
- Implementing the vision of an autonomous bot to eliminate code smells through automatic refactoring.☆63Apr 26, 2023Updated 3 years ago