Rust crates for working with Workflow Description Language (WDL) documents.

A bioinformatics workflow engine built on top of the Workflow Description Language (WDL).

Tools and libraries to create types for Rust, Kotlin, TypeScript and Python from JSON samples

sloria's dotfiles as Ansible roles

Constant-Time WebAssembly

Lucet, the Sandboxing WebAssembly Compiler.

Find the ideal fuzz targets in a Rust codebase

C to Rust translator

A pure-Rust implementation of group operations on Ristretto and Curve25519

Reverse engineering of Validity/Synaptics 138a:0090, 138a:0094, 138a:0097, 06cb:0081, 06cb:009a fingerprint readers protocol

Call Haskell functions from any programming language via serialization and dynamic libraries

Chez Scheme

A collection of small corpuses of interesting data for the creation of bots and similar stuff.

Total functional programming (ESFP) literature

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Lean Theorem Prover

Dalvik bytecode analysis in scala

Introductory lens presentation

A Cryptol major mode for Emacs.

Serialize instances for Data.Vector types

Emacs mode for Haskell

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

Embedded language for high-performance array computations

Derive instances of Serialize

Haskell Parallel Scaling benchmark scripts with support for some post-processing and plotting of results.

A Haskell implementation of the 1# Text Register Machine

A typed logic programming language embedded in Haskell

Haskell library for runtime inspection of system topology