Giters
Chris Bailey (ammkrn)

ammkrn

Geek Repo

37

followers

3

following

93

stars

Home Page:https://christopherabailey.com/

Github PK Tool:Github PK Tool

Chris Bailey's starred repositories

yuujinchou

👹 A library for hierarchical names and lexical scoping

Language:OCamlLicense:Apache-2.0Stargazers:26Issues:0Issues:0

tuple-database

Language:TypeScriptStargazers:406Issues:0Issues:0

aesop

White-box automation for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:169Issues:0Issues:0

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:288Issues:0Issues:0

RISC-V-book

A translation project of the RISC-V reader

License:NOASSERTIONStargazers:175Issues:0Issues:0

HexFiend

A fast and clever hex editor for macOS

Language:Objective-CLicense:BSD-2-ClauseStargazers:5289Issues:0Issues:0

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:42426Issues:0Issues:0

rizin

UNIX-like reverse engineering framework and command-line toolset.

Language:CLicense:LGPL-3.0Stargazers:2597Issues:0Issues:0

userland-prototype

Proof-of-concept prototype for Userland

Language:LuaStargazers:156Issues:0Issues:0

orange

Cross-platform local file search engine.

Language:RustLicense:GPL-3.0Stargazers:1559Issues:0Issues:0

chumsky

Write expressive, high-performance parsers with ease.

Language:RustLicense:MITStargazers:3495Issues:0Issues:0

dada

I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.

Language:JavaScriptLicense:Apache-2.0Stargazers:440Issues:0Issues:0

prql

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Language:RustLicense:Apache-2.0Stargazers:9725Issues:0Issues:0

courts-db

A database of courts, tests and other experiments

Language:PythonLicense:BSD-2-ClauseStargazers:57Issues:0Issues:0

UsTaxes

Tax filing web application

Language:TypeScriptLicense:AGPL-3.0Stargazers:1409Issues:0Issues:0

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Language:RustLicense:MITStargazers:1870Issues:0Issues:0

counterexamples

Counterexamples in Type Systems

Language:JavaScriptStargazers:370Issues:0Issues:0

bst

Binary search tree based on a logarithmic method

Language:HaskellStargazers:8Issues:0Issues:0

koka

Koka language compiler and interpreter

Language:HaskellLicense:NOASSERTIONStargazers:3214Issues:0Issues:0

lake

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

Language:LeanLicense:Apache-2.0Stargazers:97Issues:0Issues:0

lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

Language:LeanLicense:MITStargazers:61Issues:0Issues:0

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:32339Issues:0Issues:0

zellij

A terminal workspace with batteries included

Language:RustLicense:MITStargazers:20202Issues:0Issues:0

ron

Rusty Object Notation

Language:RustLicense:Apache-2.0Stargazers:3268Issues:0Issues:0

extraterm

The swiss army chainsaw of terminal emulators

Language:TypeScriptLicense:MITStargazers:2504Issues:0Issues:0

nickel

Better configuration for less

Language:RustLicense:MITStargazers:2281Issues:0Issues:0

druid

A data-first Rust-native UI design toolkit.

Language:RustLicense:Apache-2.0Stargazers:9476Issues:0Issues:0

1ml

1ML prototype interpreter

Language:OCamlLicense:Apache-2.0Stargazers:269Issues:0Issues:0

clui

CLUI is a collection of JavaScript libraries for building command-driven interfaces with context-aware autocomplete.

Language:TypeScriptStargazers:1237Issues:0Issues:0

wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

Language:RustLicense:NOASSERTIONStargazers:16281Issues:0Issues:0