kerscher

Yghor Kerscher's starred repositories

stable-diffusion

A latent text-to-image diffusion model

Language:Jupyter NotebookNOASSERTION66524 558 702

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptMIT41456 156 32891

gum

A tool for glamorous shell scripts 🎀

Language:GoMIT17316 55 315

BlackHole

BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

Language:CGPL-3.014514 121 395

MidJourney-Styles-and-Keywords-Reference

A reference containing Styles and Keywords that you can use with MidJourney AI. There are also pages showing resolution comparison, image weights, and much more!

11788 280 15

single_file_libs

List of single-file C/C++ libraries.

8770 346 126

ts-toolbelt

👷 TypeScript's largest type utility library

Language:TypeScriptApache-2.06568 29 213

utility-types

Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).

Language:TypeScriptMIT5421 38 115

go-profiler-notes

felixge's notes on the various go profiling methods that are available.

Language:Jupyter NotebookCC-BY-SA-4.03509 102 2

nano-emacs

GNU Emacs / N Λ N O - Emacs made simple

Language:Emacs LispGPL-3.02498 46 103

roswell

intended to be a launcher for a major lisp environment that just works.

Language:Common LispMIT1757 70 422

lux

The Lux Programming Language

Language:Emacs LispMPL-2.01661 66 35

elegant-emacs

A very minimal but elegant emacs (I think)

Language:Emacs LispGPL-3.01359 30 21

org-ref

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

Language:Emacs LispGPL-3.01347 40 805

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Language:Haskell1222 140 16

awesome-recursion-schemes

Resources for learning and using recursion schemes.

1208 45 6

sectorlisp

Bootstrapping LISP in a Boot Sector

Language:CISC1196 30 10

the-power-of-prolog

Introduction to modern Prolog

Language:HTML1180 52 34

sample-generator

Tools to train a generative model on arbitrary audio samples

Language:Jupyter NotebookMIT1065 45 11

zero-to-nix

Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.

Language:MDXNOASSERTION816 14 80

SimplyTyped

yet another Typescript type library for advanced types

Language:TypeScriptMIT708 11 19

uvm

Fun, portable, minimalistic virtual machine.

Language:RustApache-2.0513 19 19

tar.pl

tar creator+extractor in ~100 lines of prolog

Language:Prolog255 5 1

spartan-type-theory

Spartan type theory

Language:OCamlMIT248 6 2

cl-project

Generate modern project skeletons

Language:Common LispMIT241 15 16

go-sqlite3-stdlib

A standard library for mattn/go-sqlite3 including best-effort date parsing, url parsing, math/string functions, and stats aggregation functions

Language:GoNOASSERTION123 40

cl-cookieproject

Generate a ready-to-use Common Lisp project

Language:Common LispBSD-3-Clause67 5 6

cl-unicode

Portable Unicode library for Common Lisp

Language:Common Lisp59 12 18

aneris

Program logic for developing and verifying distributed systems

Language:CoqMIT31 10 8

ucat

Univalent categories, displayed categories, and fibrations

Language:AgdaBSD-2-Clause9 20