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
- My experimental programming language using Truffle☆113Feb 28, 2020Updated 6 years ago
- JSON Spec is a tool for validation and generation of JSON data.☆26Jan 7, 2023Updated 3 years ago
- A collection of MPS languages and utils.☆13May 21, 2026Updated 4 months ago
- Example that uses GraalVM native image to create a shared library, callable from C, Ruby or other ecosystems that support foreign functio…☆11Mar 31, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Lisp1.5 interpreter/compier☆17Jun 15, 2020Updated 6 years ago
- JMH projects http://openjdk.java.net/projects/code-tools/jmh/☆12Nov 10, 2016Updated 9 years ago
- ☆12Dec 2, 2019Updated 6 years ago
- Web Application Integration Test Tools.☆17Sep 3, 2026Updated 2 weeks ago
- JavaSE8 utilities powered by Lombok☆35Feb 17, 2016Updated 10 years ago
- deploy github pages with wercker☆14Sep 3, 2015Updated 11 years ago
- POC of Type Class for Groovy☆15Dec 28, 2014Updated 11 years ago
- Empowered Nix/Guix without root☆16Dec 3, 2018Updated 7 years ago
- Embulk output plugin for Treasure Data☆11Dec 12, 2025Updated 9 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.
- ☆29Apr 12, 2023Updated 3 years ago
- Samples for Grails 3☆26Dec 22, 2015Updated 10 years ago
- Spring 5 & Spring Boot 2ハンズオンの資料です。準備手順はこちら→☆48Mar 14, 2019Updated 7 years ago
- Emacs minor mode to interact with elixir buffers by using LSP☆16Jun 25, 2019Updated 7 years ago
- OBS用スクリプト：縁取りフィルタ（簡易版、日本語）☆14Jun 28, 2021Updated 5 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated last year
- 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 7 years ago
- ☆11May 3, 2020Updated 6 years ago
- Scala.js webpack loader☆20Nov 1, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A yet another Fluentd logger for Rust. a.k.a. verification of Fluentd's forward protocol playground.☆18Mar 29, 2021Updated 5 years ago
- XBird: Light-weight XQuery processor and XML database system written in Java☆14Oct 8, 2019Updated 6 years ago
- ☆14Sep 6, 2026Updated 2 weeks ago
- Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative☆16Sep 14, 2026Updated last week
- ☆15Sep 10, 2014Updated 12 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
- Yeoman generator for gradle plugin☆12May 21, 2026Updated 4 months ago
- Catenable lists☆21Apr 27, 2022Updated 4 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.
- Micronaut MuShop - Cloud Native microservices demo for Oracle Cloud Infrastructure☆22Jun 20, 2025Updated last year
- A lightweight library to calculate tensors in Kotlin, which has similar APIs to TensorFlow's☆11Nov 28, 2016Updated 9 years ago
- iOSDC Japan 2025 day0「Embedded Swiftで解き明かすコンピューターの仕組み」のコード置き場☆16Oct 1, 2025Updated 11 months ago
- Core Bluetooth wrapper with block and simple interface wrapper☆21Apr 17, 2014Updated 12 years ago
- ☆18Jul 22, 2021Updated 5 years ago
- 技術評論社発行書籍『Java本格入門』のサポートサイトです。☆20Jun 9, 2019Updated 7 years ago
- Gradle Plugin for Running tests with Karma☆21Jul 14, 2017Updated 9 years ago