jyukutyo/JVM-Math-Language external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

jyukutyo/JVM-Math-Language

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/jyukutyo/JVM-Math-Language)

Close

jyukutyo / JVM-Math-LanguageView on GitHubMore

• External links
• Readme badge

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.

• nyuichi / LeanHOL

  View on GitHub
  super tiny implementation of higher-order logic proof assistant in lean
  ☆22Sep 29, 2019Updated 6 years ago
• kawasima / json-spec

  View on GitHub
  JSON Spec is a tool for validation and generation of JSON data.
  ☆26Jan 7, 2023Updated 3 years ago
• cesquivias / mumbler

  View on GitHub
  My experimental programming language using Truffle
  ☆113Feb 28, 2020Updated 6 years ago
• dslmeinte / mps-open-source

  View on GitHub
  A collection of MPS languages and utils.
  ☆13May 21, 2026Updated 3 weeks ago
• justinwoo / purescript-lenient-html-parser

  View on GitHub
  A reaaaaaally lenient HTML parser for Purescript inspired by ndmitchell's TagSoup
  ☆12Jul 27, 2018Updated 7 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• kawasima / waitt

  View on GitHub
  Web Application Integration Test Tools.
  ☆16May 18, 2026Updated 3 weeks ago
• moznion / dart-grec-minimal

  View on GitHub
  A minimal parser/generator of Google Calendar recurrence rule for dart
  ☆13May 10, 2020Updated 6 years ago
• DevsignStudio / viu

  View on GitHub
  Viu: Meteor + Vue Material Design Framework
  ☆11May 17, 2017Updated 9 years ago
• aunkrig / lfr

  View on GitHub
  Lightning-fast Regular Expressions for Java
  ☆19Sep 19, 2022Updated 3 years ago
• jcouyang / luci

  View on GitHub
  Extensible Free Monad Effects
  ☆15Mar 16, 2021Updated 5 years ago
• taichi / siden

  View on GitHub
  tiny web application framework for Java SE 8 on top of undertow.
  ☆61Mar 4, 2016Updated 10 years ago
• duanebester / gql-elastic-scala

  View on GitHub
  ☆12Dec 2, 2019Updated 6 years ago
• leipert / step-git-push

  View on GitHub
  deploy github pages with wercker
  ☆14Sep 3, 2015Updated 10 years ago
• osdev-jp / elf_haribote

  View on GitHub
  ELF 形式のアプリに対応させたはりぼて OS（harib27f ベース）
  ☆13Apr 10, 2021Updated 5 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• gakuzzzz / xanadu

  View on GitHub
  JavaSE8 utilities powered by Lombok
  ☆34Feb 17, 2016Updated 10 years ago
• ftomassetti / antlr-web-example

  View on GitHub
  ☆29Apr 12, 2023Updated 3 years ago
• Frege / frege-gradle-plugin

  View on GitHub
  Gradle plugin for compiling Frege projects
  ☆24Dec 8, 2021Updated 4 years ago
• azooKey / Tuner

  View on GitHub
  ☆20Jun 8, 2025Updated last year
• premun / ingrid

  View on GitHub
  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
• magicien / OBSOutlineFilterJP

  View on GitHub
  OBS用スクリプト：縁取りフィルタ（簡易版、日本語）
  ☆14Jun 28, 2021Updated 4 years ago
• MasatoshiTada / spring5-boot2-handson

  View on GitHub
  Spring 5 & Spring Boot 2ハンズオンの資料です。準備手順はこちら→
  ☆48Mar 14, 2019Updated 7 years ago
• myui / xbird

  View on GitHub
  XBird: Light-weight XQuery processor and XML database system written in Java
  ☆14Oct 8, 2019Updated 6 years ago
• schlepfilter / frp

  View on GitHub
  ☆11May 3, 2020Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• harre-orz / rust_asio

  View on GitHub
  ☆14May 27, 2026Updated 2 weeks ago
• xuwei-k / optparse-applicative

  View on GitHub
  Scala port of Paolo Capriotti's optparse-applicative library. fork from https://github.com/bmjames/scala-optparse-applicative
  ☆16May 22, 2026Updated 3 weeks ago
• teru01 / mio_webserver

  View on GitHub
  「Rustで始めるネットワークプログラミング」　4.8節（技術書典頒布版: masterブランチ）、第4章（web販売版: web-versionブランチ）のリポジトリです。
  ☆14May 8, 2020Updated 6 years ago
• dsl-course / mps-textbook-beginners

  View on GitHub
  Programming with JetBrains MPS - Textbook for Beginners
  ☆22Nov 9, 2019Updated 6 years ago
• oracle-quickstart / oci-micronaut

  View on GitHub
  Micronaut MuShop - Cloud Native microservices demo for Oracle Cloud Infrastructure
  ☆22Jun 20, 2025Updated 11 months ago
• Mindwerks / worldengine-gui

  View on GitHub
  WorldEngine's PyQt based GUI
  ☆13Jul 9, 2015Updated 10 years ago
• pmlopes / openfaas-svm-vertx

  View on GitHub
  ☆19Mar 7, 2019Updated 7 years ago
• acroquest / javabook-support

  View on GitHub
  技術評論社発行書籍『Java本格入門』のサポートサイトです。
  ☆20Jun 9, 2019Updated 7 years ago
• craigburke / karma-gradle

  View on GitHub
  Gradle Plugin for Running tests with Karma
  ☆21Jul 14, 2017Updated 8 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• gitbucket / solidbase

  View on GitHub
  Generic migration tool for RDBMS and other resources based on Liquibase
  ☆40Updated this week
• bolerio / seco

  View on GitHub
  Advanced Scripting IDE for JVM based languages.
  ☆28Sep 28, 2021Updated 4 years ago
• scala / sbt-scala-module

  View on GitHub
  sbt plugin for scala modules.
  ☆14May 3, 2026Updated last month
• ainterface / ainterface

  View on GitHub
  Runs an Erlang node on an ActorSystem of Akka.
  ☆43Oct 4, 2016Updated 9 years ago
• lrlucena / whilelang

  View on GitHub
  A minimalistic programming language built using Scala 3.4 and ANTLR 4.13.
  ☆33Apr 25, 2025Updated last year
• pyflies / pyflies

  View on GitHub
  A Domain-Specific Language (DSL) for designing experiments in psychology
  ☆15Feb 21, 2022Updated 4 years ago
• gcnyin / raw-nio

  View on GitHub
  raw nio practice(Event Loop, Load Balancer, HTTP/1.1 Server)
  ☆26Sep 30, 2021Updated 4 years ago