twey Goto Github PK

agda-imp

An Agda encoding of the primitive imperative language IMP from Glynn Winskel's ‘The Formal Semantics of Programming Languages’.

agda-quotients

Quotients over (equivalence) relations in Agda.

agda-tensor-logic

Stuff related to tensor logic in Agda, for learning purposes.

async-tar

A tar archive reading/writing library for async Rust.

bcs

Rust implementation of the Binary Canonical Serialization (BCS) format

bloop

bloop is a fast code search engine written in Rust.

cargo-sort

Check if tables and items in a .toml file are lexically sorted

cbindgen

A project for generating C bindings from Rust code

cll

Complete Lojban Language Chunked

dotfiles

either

The either enum (Rust)

empty

An empty repository.

folly

An open-source C++ library developed and used at Facebook.

friendly-lojban

Friendly Lojban, a textbook intended as a comprehensive introduction to Lojban for non-technical beginners

gentoo-haskell

official gentoo haskell overlay

gloss-banana

A reactive-banana interface for Gloss.

gloss-sodium

A Sodium interface to Haskell's Gloss drawing package.

hott-book

A textbook on informal homotopy type theory

hyper

An HTTP library for Rust

hyper-tls

insta

A snapshot testing library for rust

lamdu

lamdu - towards the next generation IDE

linera-protocol

Main repository for the Linera protocol

markdown-codeblocks

Tool for parsing code blocks out of a Markdown document

mkrustcrate

A Nix function for building Rust crates with Cargo, but using Nix for dependency management.

musl-staticlib-test

Example repository containing a static library to be built with musl.

nixos-config

nixpkgs

Nix Packages collection

nixpkgs-mozilla

mozilla related nixpkgs (extends nixos/nixpkgs repo)

nsjail

A light-weight process isolation tool, making use of Linux namespaces and seccomp-bpf syscall filters (with help of the kafel bpf language)