sorear/niecza

Stars
153
Rank 242,421 (Top 5 %)
Language
C#
License
Artistic License 2.0
Created over 14 years ago
Updated about 6 years ago

sorear/niecza

sorear

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

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

This fork of Niecza compiles and runs under Mono 5.12.0 on Ubuntu 18.04.

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

MooseX-Compact

Moose objects that use much less memory

NetHack-FixedMap

Fixed map data for NetHack

yrola

An open-source analytical database focused on write amplification

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