harpocrates Goto Github PK

javasc-heme-ript-

Simple Scheme implementation written in CoffeeScript.

jonathan

A symbolic computation program.

language-rust

Parser and pretty-printer for the Rust language

linear

Low-dimensional linear algebra primitives for Haskell.

mapdb

MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.

notes

parameterized-utils

A set of utilities for using indexed types including containers, equality, and comparison.

playframework

Play Framework

pretty-ghci

Functionality for beautifying GHCi

prolog-interpreter

No bells and whistles prolog implementation

quine

Quine - a streaming graph - https://quine.io/

regex-automata

DFA-based regex on the JVM (slow compile, hopefully fast execution)

rust

A safe, concurrent, practical language.

rust-mnist

sample-docs-project

Testing a docs toolchain

sbt-ghpages

git, site and ghpages support for sbt projects.

scala

Scala 2 compiler and standard library. For bugs, see scala/bug

scala-java-records-benchmark

Compare Scala case class to Java record

shapeless

Generic programming for Scala

spec

WebAssembly specification, reference interpreter, and test suite.

stack

The Haskell Tool Stack

swagger-ui

Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.

upickle

uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala

utf8-string

Support for reading and writing UTF8 Strings in Haskell

visnetwork-facade

scala.js facade for vis-network.js

wasm-ops

Chart of WebAssembly Instructions

wasm2jar

Convert a web assembly module into a JVM JAR

wl-pprint-annotated

Wadler/Leijen pretty printer with annotations and API conforming to modern Haskell

xml-diff

Diff XML-like stuff (HTML, for example)