gnull

nixos-rk3588

Minimal NixOS running on RK3588/RK3588s based SBC(Orange Pi 5 Plus, Orange Pi 5, Rock 5A, etc)

kalina

RSS reader written purely in Haskell // Moved to SourceHut

mess

Set of Utilities for Backing up vk.com Messages

fawkes-crypto

Fawkes-Crypto - zkSNARKs framework

abstracts

ajtai-dwork

Notes on the Fourth Ajtai-Dwork Cryptosystem

auto-pairs.kak

A mirror of https://github.com/alexherbo2/auto-pairs.kak

brick

A declarative terminal UI programming library written in Haskell

coq-playground

My Personal Coq Playground

ecc-pycrypto

This is a Python package for ECC and ElGamal elliptic curve encryption.

imv

Image viewer for X11/Wayland

lesson

master-thesis-2019

LaTeX source of my master thesis (in Russian)

surround.kak

A mirror of https://github.com/alexherbo2/surround.kak

vkhs

Haskell library dealing with vkontakte social network

sandglass

A habit tracker // Archive of SourceHut repo

afp-code

Public code for the course AFP (Advanced Functional Programming, Chalmers TDA342)

CTFd

CTFs as you need them

docs

haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

lambda-uc

A programming language for Universal Composability (mirror of SourceHut repo)

LaTeXML

LaTeXML: a TeX and LaTeX to XML/HTML/ePub/MathML translator.

near-halo2-verifier

Halo2 verifier using NEAR Precompiled Contracts

SaUCy

The modular protocol framework based on Universal Composability

sharded-storage-toy-model

snarkVM

A Virtual Machine for Zero-Knowledge Executions

stark-anatomy

Tutorial for STARKs with supporting code in python

submission

Submission system for submitting and grading homeworks

yolov5

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

zeropool-near

ZeroPool NEAR smart contracts