sorear/yrola

Stars
1
Language
Rust
Created almost 9 years ago
Updated almost 9 years ago

sorear/yrola

sorear

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

An open-source analytical database focused on write amplification

niecza

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

metamath-turing-machines

metamath proof enumerators and other things

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

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