ErnWong

sccache

Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.

cppfront

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

roc

A fast, friendly, functional language.

dafny

Dafny is a verification-aware programming language

nixpacks

App source + Nix packages + Docker = Image

lux

The Lux Programming Language

nil

NIx Language server, an incremental analysis assistant for writing in Nix.

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Arend

The Arend Proof Assistant

azure-devops-python-api

Azure DevOps Python API

OK

Welcome to the future of programming languages: OK?

smalltt

Demo for high-performance type theory elaboration

plasma-manager

Manage KDE Plasma with Home Manager

deadnix

Scan Nix files for dead code

rust-minidump

Type definitions, parsing, and analysis for the minidump file format.

grace

A ready-to-fork interpreted functional language with type inference

poprc

A Compiler for the Popr Language

seed7

Source code of Seed7

cur

A less devious proof assistant

dump_syms

Rewrite of breakpad dump_syms tools in Rust

notes-on-realizability

Lecture notes on realizability

azure-devops-rust-api

Rust API crate for the Azure DevOps API

idris2-pkgs

An unofficial Idris2 package repository for Nix

IdrisPipes

A library for composable and effectful production, transformation and consumption of streams of data in Idris

BevyJam2022-2

Bevy Game Jam 2022 #2

flake-templates

Opinionated nix flake templates

slate

The Slate Interactive Theorem Prover

GDTL-artifact

A Gradual Dependently-typed Language

ingpu

GPU-based interaction nets evaluator

bavy-showcase