A multi-platform Nix configuration template optimized as development environment, based on nixos-unified.

A simple NixOS & nix-darwin module for self-hosting GitHub runners

Multi-platform GPGPU computations with Scala, seamlessly 🚀

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.

Container to WASM converter

A human readable quasi-concatenative programming language

A Git-compatible VCS that is both simple and powerful

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

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

Vim-like modal keybindings for your terminal! ✌️

A proof assistant for higher-dimensional type theory

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

NixOS-like services for Nix flakes

A minimal proof checker.

Example of building a Unison program via Nix

Atomic secret provisioning for NixOS based on sops

💥💻💥 A data-parallel functional programming language

Inference Llama 2 in one file of pure C

High Performance GraphQL Runtime

a simple concurrent/parallel sat solver implementation in rust

Create beautiful diagrams just by typing notation in plain text.

Helper toolkit for creating your own Lean 4 UserWidgets

AMD ROCm™ Software - GitHub Home

Intuitive, type-safe expression quotations for Lean 4.

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

The user home repository for the Mathematics in Lean tutorial.

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

plasTeX plugin to build formalization blueprints.

LLMs as Copilots for Theorem Proving in Lean

Lean 4 programming language and theorem prover