Giters
Kate (kit-ty-kate)

kit-ty-kate

Geek Repo

288

followers

35

following

117

stars

Company:@ahrefs @ocaml-sf

Location:Glasgow, Scotland

Home Page:https://twitter.com/kit_ty_kate

Github PK Tool:Github PK Tool

Organizations
Cumulus
LamaUrbain
ocaml
ocamllabs
ocsigen

Kate's starred repositories

yuzu

Nintendo Switch emulator

Language:C++License:GPL-3.0Stargazers:38928Issues:589Issues:5476

shellcheck

ShellCheck, a static analysis tool for shell scripts

Language:HaskellLicense:GPL-3.0Stargazers:34975Issues:417Issues:2583

cosmopolitan

build-once run-anywhere c library

Language:CLicense:ISCStargazers:15091Issues:149Issues:493

dolphin

Dolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.

Language:C++License:NOASSERTIONStargazers:12127Issues:479Issues:0

rarbg

Backup of magnets from RARBG

Language:PythonStargazers:4656Issues:109Issues:25

m1n1

A bootloader and experimentation playground for Apple Silicon

Language:PythonLicense:MITStargazers:3367Issues:76Issues:79

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:2094Issues:104Issues:166

docs

Hardware and software docs / wiki

License:NOASSERTIONStargazers:1732Issues:87Issues:106

gpu

Dissecting the M1's GPU for 3D acceleration

Language:CStargazers:982Issues:82Issues:0

asahi-installer

Asahi Linux installer

Language:PythonLicense:MITStargazers:734Issues:34Issues:184

pixz

Parallel, indexed xz compressor

Language:CLicense:BSD-2-ClauseStargazers:684Issues:36Issues:83

runj

runj is an experimental, proof-of-concept OCI-compatible runtime for FreeBSD jails.

Language:GoLicense:NOASSERTIONStargazers:585Issues:40Issues:23

CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

Language:OCamlLicense:MITStargazers:502Issues:4Issues:4

tabwrangler

A browser extension that automatically closes your unused tabs so you can focus on the tabs that matter

Language:TypeScriptLicense:MITStargazers:464Issues:20Issues:318

vivarium

A dynamic tiling Wayland compositor using wlroots

Language:CLicense:GPL-3.0Stargazers:345Issues:10Issues:50

odoc

Documentation compiler for OCaml and Reason

Language:OCamlLicense:NOASSERTIONStargazers:308Issues:21Issues:548

reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

Language:OCamlLicense:MITStargazers:269Issues:14Issues:70

debugir

DebugIR: Debugging LLVM-IR Files

Language:C++License:Apache-2.0Stargazers:114Issues:7Issues:6

miou

A simple scheduler for OCaml 5

Language:OCamlLicense:MITStargazers:78Issues:7Issues:11

miragevpn

An opinionated implementation of the OpenVPN protocol

Language:OCamlLicense:BSD-2-ClauseStargazers:70Issues:12Issues:78

ambient

What can a public hotspot tell you?

Language:ShellLicense:UnlicenseStargazers:62Issues:6Issues:3

opam-dune-lint

Ensure dune and opam dependencies are consistent

Language:OCamlLicense:ISCStargazers:39Issues:6Issues:28

dowsing

᚛ A type of divination employed in attempts to locate identifiers matching a given type expression

Language:OCamlLicense:ISCStargazers:35Issues:6Issues:16

cardio-crumble

Auditively feel the work of the runtime

Language:OCamlLicense:ISCStargazers:30Issues:5Issues:13

notafs

Not a filesystem for Mirage block devices

Language:OCamlLicense:ISCStargazers:22Issues:5Issues:11

opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository

Language:OCamlStargazers:18Issues:12Issues:43

yvis

bsp visibility precomputer, but in Rust

Language:RustStargazers:14Issues:3Issues:0

ocaml-mlir

OCaml Bindings to MLIR

Language:OCamlStargazers:13Issues:2Issues:0

cant-believe-its-not-twitter

Twitter archive viewer, also takes HAR files as input

Language:PythonStargazers:12Issues:4Issues:0

opam-compiler

opam plugin to work with compiler descriptions

Language:OCamlLicense:ISCStargazers:11Issues:2Issues:11