david-r-cox

David Cox's starred repositories

darwin-xnu

Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu

Language:CNOASSERTION10995 5670

awesome-shadcn-ui

A curated list of awesome things related to shadcn/ui.

MIT8133 122 18

effect

An ecosystem of tools for building production-grade applications in TypeScript.

Language:TypeScriptMIT7203 27 606

react_on_rails

Integration of React + Webpack + Rails + rails/webpacker including server-side rendering of React, enabling a better developer experience and faster client performance.

Language:RubyMIT5095 80 720

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Language:TypeScriptMIT4303 20 547

PureDarwin

Darwin is the Open Source core of macOS, and PureDarwin is a community project to extend Darwin into a complete, usable operating system.

Language:CNOASSERTION2181 99 74

likwid

Performance monitoring and benchmarking suite

Language:CGPL-3.01657 66 445

lumentis

AI powered one-click comprehensive docs from transcripts and text.

Language:TypeScriptNOASSERTION1529 10 20

httm

Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even Time Machine and Restic backups!)

Language:RustMPL-2.01352 10 50

prismaliser

Visualise your Prisma schema!

Language:TypeScriptMIT863 6 31

netlistsvg

draws an SVG schematic from a JSON netlist

Language:JavaScriptMIT628 26 96

PipelineC

A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler feature.

Language:PythonGPL-3.0588 24 125

btdu

sampling disk usage profiler for btrfs

Language:DGPL-2.0427 15 30

neoTRNG

🎲 A Tiny and Platform-Independent True Random Number Generator for any FPGA (and ASIC).

Language:VHDLBSD-3-Clause169 6 1

mix_gleam

⚗️ Build Gleam code with mix

Language:ElixirApache-2.0168 7 18

bun

🐰 Bun runtime for ▲ Vercel Serverless Functions

Language:TypeScript89 2 5

genai

Generative AI client for multiple providers with plugin extension support

Language:ElixirMIT17 3 4

prolamb

SWI-Prolog lambda runtime

Language:HCL16 3 6

gleam_qcheck

QuickCheck-inspired property testing with integrated shrinking for Gleam

Language:GleamApache-2.013 1 2

napali

Optimization as a service TUI

Language:NixMIT10 10

hercules

QUBO Solver and Heuristic Toolbox

Language:RustBSD-3-Clause5 30

freebsd-ports-nix

Nix package manager port for the FreeBSD Ports Collection

Language:Makefile200

linear_algebra

C++ Linear Algebra library using Expression Templates

Language:C++1 10

pyrel

An efficient python library for working with and manipulating binary relations.

Language:PythonGPL-3.01 10

Relathon is a domain-specific interpreted language for manipulating binary relations. Relathon features a python-like syntax, user-defined functions, flow control, loops, built-in operations from relation algebra, and a very efficient relation datatype based on the binary decision diagram.