Baranowski

Viosuo

3D-printable hand-strapped keyboard

habit-vim

fpga-rsa

RSA implementation in Verilog; to learn FPGA programming

CloudAtlas

Distributed system for managing and monitoring resources

configs

contracts

Haskell Contracts Checker

cursive_tree_view

A tree view implementation for cursive.

dvc

🦉Data Version Control | Git for Data & Models

dvc.org

🔗 DVC website and documentation

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's GitLab instance (https://gitlab.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

HaNS

The haskell network stack

latte

Compiler of a java sublanguage, with x86 and JVM backends

linux-tracelog

Linux kernel source tree

mips-cpu

MIPS CPU implemented in Verilog

parity-ethereum

The fast, light, and robust EVM and WASM client.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

qmk

rust

Empowering everyone to build reliable and efficient software.

SourceGraph

SourcetrailDB

Library to export Sourcetrail compatible database files for writing custom indexers

stepeval

A program for evaluating a Haskell expression step-by-step

XC3S500E_binary_to_decimal

Fun training project for my XC3S500E FPGA

zmk

ZMK Firmware Repository