vyp - Giters

xd1le's starred repositories

searx

Privacy-respecting metasearch engine

Language:PythonAGPL-3.013285 317 1725

plt

Programming Language Theory λΠ

Language:CSS5161 277 23

LibreSprite

Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite

Language:C++GPL-2.04504 78 221

typedb

TypeDB: the polymorphic database powered by types

Language:JavaMPL-2.03695 118 2414

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION3118 60 301

oasis

a small statically-linked linux system

Language:RoffNOASSERTION2732 58 73

oh

A new Unix shell.

Language:GoMIT1346 40 46

mtm

Perhaps the smallest useful terminal multiplexer in the world.

Language:C1072 29 53

chatty

Twitch Chat Client written in Java

Language:JavaGPL-3.0831 34 441

category-theory-resources

Resources for learning Category Theory for an enthusiast

574 27 4

micro-mitten

You might not need your garbage collector

Language:RustGPL-2.0530 18 3

unpackaged.el

A collection of useful Emacs Lisp code that isn't substantial enough to be packaged

Language:Emacs LispGPL-3.0388 17 18

zig-bootstrap

take off every zig

Language:C339 18 109

es-shell

es: a shell with higher-order functions

Language:CNOASSERTION301 19 47

rc

rc shell -- independent re-implementation for Unix of the Plan 9 shell (from circa 1992)

Language:CNOASSERTION246 16 67

encpipe

The dum^H^H^Hsimplest encryption tool in the world.

Language:CNOASSERTION205 10 4

kalyn

⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.

Language:HaskellMIT153 5 22

shill

Scripting with Least Privilege

Language:CBSD-3-Clause106 8 3

camlboot

Experiment on how to bootstrap the OCaml compiler

Language:OCamlMIT90 8 7

s

reupload of s, used to have 100 stars

Language:CBSD-3-Clause68 50

rvcc

Standalone C compiler for RISC-V and ARM

Language:CMIT60 20

grift

Galois RISC-V ISA Formal Tools

Language:HaskellAGPL-3.054 16 3

openzone-cursors

OpenZone mouse cursor theme for X11 and Wayland.

Language:MakefileMIT36 3 2

racket-peg

racket scheme peg-parser

Language:RacketGPL-3.023 5 50

gash

an interpretation layer to use guile scheme in the shell

Language:SchemeGPL-3.020 10

cemant

gray terminal color scheme

Language:Vim ScriptMIT14 3 4

short-lambda

Clojure-style anonymous function literal for Elisp

Language:Emacs Lisp12 4 1

scarlett

Scarlett - Kernel interpreter

Language:C++NOASSERTION9 3 1

Research-report

Daily reports on my research at St-andrews

Language:TeX7 40

typeclass

Typeclasses for the Carp programing language.

Apache-2.06 20