tarc

anki

Anki for desktop computers

aspnetcore

ASP.NET Core is a cross-platform .NET framework for building modern cloud-based web applications on Windows, Mac, or Linux.

aspnetcore-source-build-action

Build ASP.NET Core Source Code

asyncfileserver

Simple File Server Featuring Python Async Constructs

BalancingExecutionContext

basic-flake-python

Define flake to generate python with conan pip package

codecov-action

GitHub Action that uploads coverage to Codecov :open_umbrella:

conan-center-index

Recipes for the conan-center repository

cq

extract code snippets using selectors (instead of line numbers) - ES5, ES6, TypeScript

dotfiles

macOS + nix + home-manager + yabai + zsh + tmux + neovim

goja

ECMAScript/JavaScript engine in pure Go

lean-project

magiccube4d

Automatically exported from code.google.com/p/magiccube4d

nix-darwin

nix modules for darwin

nix-test

numberings

protobufjs-loader-fork

Webpack loader to translate .proto definitions to ProtoBuf.js modules

remark-usage

plugin to add a usage example to your readme

runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

SICP

stdyn

system

Declarative system configurations using nixOS, nix-darwin, and home-manager

tarc

tutorials

Some Lean tutorials

vcxsrv

VcXsrv Windows X Server (X2Go/Arctica Builds)

another-lean-shell

concore

Core abstractions for dealing with concurrency in C++

nixos-config

Nix configuration for MacOS and NixOS w/ starter templates + step-by-step guides ✨

nixpkgs

Nix Packages collection & NixOS

stdexec

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.