willdathrill

RustPython

A Python Interpreter written in Rust

rayon

Rayon: A data parallelism library for Rust

movfuscator

The single instruction C compiler

json

Strongly typed JSON library for Rust

serenity

A Rust library for the Discord API.

exwm

Emacs X Window Manager

hematite

A simple Minecraft written in Rust with the Piston game engine

distributed-wikipedia-mirror

Putting Wikipedia Snapshots on IPFS

unME11

Intel ME 11.x Firmware Images Unpacker

mgl

Common Lisp machine learning library.

gobby

Gobby collaborative editor

agda-stdlib

The Agda standard library

axiom

Axiom is a free, open source computer algebra system

valico

Rust JSON Schema validator and JSON coercer

sophia_rs

Sophia: a Rust toolkit for RDF and Linked Data

libinfinity

libinfinity collaborative editing library

astar-monad

A smart A* search monad transformer which supports backtracking user-state!

Discord.hs

Have you heard of our lord and savior Haskell?

parser-combinators

Lightweight package providing commonly useful parser combinators

pocket_prover

A fast, brute force, automatic theorem prover for first order logic

inferno

Unofficial import of Inferno OS and Hellaphone mercurial repositories

json-streams

Common Lisp library for reading and writing JSON.

SNARK

SNARK - SRI's New Automated Reasoning Kit

prover

lisp-lazy-seq

Lazy sequences in Common Lisp

Pretty-Data-Stuctures

Another one of those data structures repos but everything here generates pretty images :)

woodger

Formalization of "The Axiomatic Method in Biology" (1937) by Woodger, Tarski and Floyd, in SNARK.

ShadowProver

!!Deprecated!! (Please use https://github.com/naveensundarg/prover)

dcec_semantic_analyzer

The DCEC semantic analyzer generates well-formed formulae in the language of the Deontic Cognitive Event Calculus from natural language sentences in English.

alternators

Haskell - Handy function when using transformers