Beast code in Giters

brunoczim's repositories

rust-bfc

A Brainfuck compiler written in Rust. Avaible for x86-64 and x86 GNU/Linux.

Language:RustMIT8 40

typed-symmetric-interaction

Typed abstract calculi, typed version of https://github.com/maiavictor/symmetric-interaction-calculus

MIT8 3 2

lcalc

Lambda Calculus Evaluator Written in Rust

Language:RustMIT600

lij

lambda is javascript - A Calculus to JavaScript compiler

Language:JavaScriptGPL-3.06 30

corustine

Rust yield-like coroutines!

Language:RustMIT500

linux-conio

A (very incomplete) compatibility library so Linux users can work with Conio projects. Implemented on ncurses.

Language:CGPL-3.01 20

phoneshift

Linguistical sound shift DSL (domain specific language)

Language:RustMIT100

dicionario-termos-funcionais

Dicionario de termos funcionais traduzidos

000

failure

Error management

Language:RustApache-2.0000

lazy-static.rs

A small macro for defining lazy evaluated static variables in Rust.

Language:RustApache-2.0000

PolyGlot

PolyGlot is a conlang construction toolkit.

Language:JavaNOASSERTION020

same

Tools for testing identity of objects in Rust

Language:Rust000

spin-rs

A spinlock for rust

Language:RustMIT000

thread_local-rs

Per-object thread-local storage for Rust

Language:RustApache-2.0000

ual

Ual Agda Library

Language:AgdaMIT030

updatehub

WIP: A generic and safe Firmware Over-The-Air agent for Embedded and Industrial Linux-based devices

Language:RustApache-2.0000