Valentin Kharin

Preview Typst code blocks in org-mode (not necessarily) buffers.

Implementation of different type theories in Lean4

No description provided.

Cross-platform non-interactive shell-like language for build scripts

Web browser project

No description provided.

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Total parser combinators library for Lean4

Package management made easy

This repository contains tests for building packages with Pixi and its backends

Backend implementations to build Pixi projects from source

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Go backend for pixi-build

rattler-build is a universal Conda package builder for Windows, macOS and Linux (like conda-build but faster)

Rust crates to work with the Conda ecosystem.

Recipes for packages that I would like to upload to conda forge in some time

Cross-platform shell for deno task.

Rust debugger for Linux x86-64

Tower debug adapter protocol

NQP

A modern commutative diagram editor for the web.

NixOS MicroVMs

toki pona dictionary lookup using eldoc

For applying patch data

A proof assistant for higher-dimensional type theory

Formally verified proof checker for Metamath.

Fast package resolver written in Rust (CDCL based SAT solving)

HTTP client for HTTP Range requests with a buffer optimized for sequential requests

No description provided.

AI generated diff/patch algorithm