Yghor Kerscher (kerscher)

kerscher

Geek Repo

Company:AND Digital

Location:Edinburgh, Scotland

Github PK Tool:Github PK Tool

Yghor Kerscher's starred repositories

go-profiler-notes

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

Language:Jupyter NotebookLicense:CC-BY-SA-4.0Stargazers:3525Issues:0Issues:0

tar.pl

tar creator+extractor in ~100 lines of prolog

Language:PrologStargazers:255Issues:0Issues:0

single_file_libs

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

Stargazers:8810Issues:0Issues:0

the-power-of-prolog

Introduction to modern Prolog

Language:HTMLStargazers:1190Issues:0Issues:0

roswell

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

Language:Common LispLicense:MITStargazers:1760Issues:0Issues:0

elegant-emacs

A very minimal but elegant emacs (I think)

Language:Emacs LispLicense:GPL-3.0Stargazers:1361Issues:0Issues:0

nano-emacs

GNU Emacs / N Λ N O - Emacs made simple

Language:Emacs LispLicense:GPL-3.0Stargazers:2500Issues:0Issues:0

org-ref

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

Language:Emacs LispLicense:GPL-3.0Stargazers:1351Issues:0Issues:0

SimplyTyped

yet another Typescript type library for advanced types

Language:TypeScriptLicense:MITStargazers:708Issues:0Issues:0

utility-types

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

Language:TypeScriptLicense:MITStargazers:5446Issues:0Issues:0

ts-toolbelt

👷 TypeScript's largest type utility library

Language:TypeScriptLicense:Apache-2.0Stargazers:6594Issues:0Issues:0

type-challenges

Collection of TypeScript type challenges with online judge

Language:TypeScriptLicense:MITStargazers:41703Issues:0Issues:0

gum

A tool for glamorous shell scripts 🎀

Language:GoLicense:MITStargazers:17441Issues:0Issues:0

ucat

Univalent categories, displayed categories, and fibrations

Language:AgdaLicense:BSD-2-ClauseStargazers:10Issues:0Issues:0

BlackHole

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

Language:CLicense:GPL-3.0Stargazers:14628Issues:0Issues:0

aneris

Program logic for developing and verifying distributed systems

Language:CoqLicense:MITStargazers:31Issues:0Issues:0

stable-diffusion

A latent text-to-image diffusion model

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:66831Issues:0Issues:0

sample-generator

Tools to train a generative model on arbitrary audio samples

Language:Jupyter NotebookLicense:MITStargazers:1068Issues:0Issues:0

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:GoLicense:NOASSERTIONStargazers:123Issues:0Issues:0

lux

The Lux Programming Language

Language:Emacs LispLicense:MPL-2.0Stargazers:1666Issues:0Issues:0

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!

Stargazers:11829Issues:0Issues:0

sectorlisp

Bootstrapping LISP in a Boot Sector

Language:CLicense:ISCStargazers:1215Issues:0Issues:0

awesome-recursion-schemes

Resources for learning and using recursion schemes.

Stargazers:1210Issues:0Issues:0

Publications

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

Language:HaskellStargazers:1221Issues:0Issues:0

nix-package-versions

Search for old versions of Nix packages

Language:HaskellLicense:BSD-3-ClauseStargazers:282Issues:0Issues:0

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:20151Issues:0Issues:0

acme-lsp

Language Server Protocol tools for the acme text editor

Language:GoLicense:MITStargazers:188Issues:0Issues:0

edwood

Go version of Plan9 Acme Editor

Language:GoLicense:NOASSERTIONStargazers:375Issues:0Issues:0

swift-composable-architecture

A library for building applications in a consistent and understandable way, with composition, testing, and ergonomics in mind.

Language:SwiftLicense:MITStargazers:11949Issues:0Issues:0

resholve

a shell resolver? :) (find and resolve shell script dependencies)

Language:PythonLicense:MITStargazers:224Issues:0Issues:0