Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.

Console Bibliography

embedding MLIR in LEAN

Verified Rust for low-level systems code

Formal Isabelle/HOL model of the ARMv7 TLB

An operating system written in Go

Gets transactions as CSV and other data from Viseca One

[mirror] A dynamic tiling Wayland compositor

A sudoku game where you have to prove that your deductions are valid

Clone of isabelle, with LSP extensions in seperate branches

Perft debugger. Compare your chess engine's move generation to Stockfish

Better binary packing for Go

Play battleships using BGP

Ansible role for a local CA

This is the repo for FicSave, an open-source online fanfiction downloader.

ARCHIVE - Golang implementation of JSON Web Tokens (JWT). This project is now maintained at:

The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.

Manage your household's stocks

Unofficial tester for second networks project. It constructs a graph, runs dijkstra on it and checks your implementation (whether all your next_hops are correct).

Open-source keyboard firmware for Atmel AVR and Arm USB families

This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Combinators for manipulating locally-nameless generalized de Bruijn terms

Generalized bananas, lenses and barbed wire

Haskell Research Compiler

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Checker for "morally correct" induction proofs about haskell programs