vic's Stars
karpathy/llama2.c
Inference Llama 2 in one file of pure C
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
ROCm/ROCm
AMD ROCm™ Software - GitHub Home
leanprover/lean4
Lean 4 programming language and theorem prover
loco-rs/loco
🚂 🦀 The one-person framework for Rust for side-projects and startups
diku-dk/futhark
:boom::computer::boom: A data-parallel functional programming language
uiua-lang/uiua
A stack-based array programming language
Mic92/sops-nix
Atomic secret provisioning for NixOS based on sops
tailcallhq/tailcall
Build GraphQL as the speed of thought
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Whitecat18/Rust-for-Malware-Development
This repository contains my complete resources and coding practices for malware development using Rust 🦀.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MatthewCroughan/NixThePlanet
Run macOS, Windows and more via a single Nix command, or simple nixosModules
juspay/services-flake
NixOS-like services for Nix flakes
NotAShelf/nyx
My overengineered NixOS flake. Desktops, laptops, servers and everything else that can run an OS.
leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
PatrickMassot/leanblueprint
plasTeX plugin to build formalization blueprints.
mikeshulman/narya
A proof assistant for higher-dimensional type theory
danielberkompas/destructure
Javascript-style destructuring for Elixir
TwoFX/sudoku
A sudoku game where you have to prove that your deductions are valid
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
leanprover-community/quote4
Intuitive, type-safe expression quotations for Lean 4.
digama0/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
VictorTaelin/interaction-calculus-of-constructions
A minimal proof checker.
JetBrains-Research/coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
patrik-cihal/lean-graph
Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
vaibhawvipul/concurrent-sat-solver-rs
a simple concurrent/parallel sat solver implementation in rust
ceedubs/unison-nix-snake
Example of building a Unison program via Nix
MLFlexer/modal.wezterm
Vim-like modal keybindings for your terminal! ✌️
marcelbischoff/advent-of-code