Illustrating the AxLam method in Scala

Give your cats a set of dice

Resources for type theory, functional programming, etc.

Lean type-checker written in Scala.

Hosts the HTML documentation for mathlib.

Schemarama is a project exploring standards-based validation for structured data, especially Schema.org.

Agda bindings to SMT-LIB2 compatible solvers.

GRIN backend for Idris

A Julia package for controlling NetLogo

Java2Script provides an Eclipse Java to JavaScript transpiler (source-to-source compiler) and a nearly complete JavaScript implementation of the Java runtime environment (including AWT and Swing).

The missing MatPlotLib for Scala + Spark

Compiler Technologies for Mathematica/Wolfram Language.

A description of the language syntax and associated data, examples, and nonexamples.

☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

A Proposal for an OpenMath JSON Encoding

Implementation of (most of) the OpenMath Standard in JavaScript

An IntelliJ-Plugin for MMT (under development)

massively-parallel cosmology simulator

Main repository for sharing files and documents about OpenDreamKit

A library for Proof Theory (especially Proof Compression) in Scala.

The MMT Language and System

Java Core Library for Real-Time and Embedded Systems

AIML 2.0 Interpreter for Java

Tools & Libraries for the Advancement of Sciences (v5.0 - early 2018)

Inkle Ink runtime and compiler implementation in Java

Java library to interact with Wikibase

A chatbot for querying from Wikidata and Dbpedia