vic

llama2.c

Inference Llama 2 in one file of pure C

penrose

Create beautiful diagrams just by typing notation in plain text.

ROCm

AMD ROCm™ Software - GitHub Home

lean4

Lean 4 programming language and theorem prover

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

futhark

:boom::computer::boom: A data-parallel functional programming language

uiua

A stack-based array programming language

sops-nix

Atomic secret provisioning for NixOS based on sops

tailcall

A high-performance GraphQL Platform

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Rust-for-Malware-Development

This repository contains my complete resources and coding practices for malware development using Rust 🦀.

NixThePlanet

Run macOS, Windows and more via a single Nix command, or simple nixosModules

nyx

My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS

services-flake

NixOS-like services for Nix flakes

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

leanblueprint

plasTeX plugin to build formalization blueprints.

destructure

Javascript-style destructuring for Elixir

narya

A proof assistant for higher-dimensional type theory

sudoku

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

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

quote4

Intuitive, type-safe expression quotations for Lean 4.

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

coqpilot

VSCode extension that is designed to help automate writing of Coq proofs.

interaction-calculus-of-constructions

A minimal proof checker.

lean-graph

Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.

concurrent-sat-solver-rs

a simple concurrent/parallel sat solver implementation in rust

unison-nix-snake

Example of building a Unison program via Nix

modal.wezterm

Vim-like modal keybindings for your terminal! ✌️

advent-of-code