sorear/metamath-turing-machines

Stars
74
Rank 429,106 (Top 9 %)
Language Tcl
License
MIT License
Created over 8 years ago
Updated over 7 years ago

sorear/metamath-turing-machines

sorear

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

metamath proof enumerators and other things

niecza

A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.

smetamath-rs

sorear's Metamath system engine - version 3 Rust

smm

sorear's Metamath system engine

libuv-rs

Rust bindings to libuv

riscv-specs

UNOFFICIAL bug tracker for the RISC-V specifications

NetHack-Monster-Spoiler

Library of NetHack monster data

libnethack

Stripped down NetHack modified to build as a shared library

dalek-poller

Realtime feed aggregator for the Perl6 ecosystem

september-ddb

A scale-free database for your heterogenous scale-free networks

NetHack-FOV

Bug-compatible NetHack FOV library

multi-language-ucd

Unicode Character Database access routines for non-ICU platforms, especially C#/CLR

IO-Pty-HalfDuplex

IO::Pty::HalfDuplex module

fedora-riscv-useremu

Build scripts for RISC-V architecture emulation docker container

Arena-Compact

Perl 5 storage manager optimized for space

smm-webui

NetHack-FixedMap

Fixed map data for NetHack

yrola

An open-source analytical database focused on write amplification

MooseX-Compact

Moose objects that use much less memory

toypqsnark

independent implementation of a SNARK from Minicrypt assumptions using scipr-lab papers

soric

A declarative IRC client and framework

set.mm-history

Metamath set.mm historical record