Giters
Darius Bacon (darius)

darius

Geek Repo

514

followers

128

following

806

stars

Company:open to contracts, not perm

Location:Austin, TX

Home Page:http://wry.me

Github PK Tool:Github PK Tool

Organizations
recursecenter

Darius Bacon's starred repositories

libfsm

DFA regular expression library & friends

Language:CLicense:BSD-2-ClauseStargazers:930Issues:0Issues:0

enoki

Enoki: structured vectorization and differentiation on modern processor architectures

Language:C++License:NOASSERTIONStargazers:1237Issues:0Issues:0

MAD-NG.docs

MAD documentation

Language:TeXLicense:GPL-3.0Stargazers:37Issues:0Issues:0

pdp8x

The PDP-8/X architecture, a 32-bit variant of the PDP-8

Language:HTMLLicense:MITStargazers:9Issues:0Issues:0

mixal

Enhanced MIXAL (original code by Darius Bacon and Eric Raymond).

Language:CStargazers:3Issues:0Issues:0

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

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

imtui

ImTui: Immediate Mode Text-based User Interface C++ Library

Language:C++License:MITStargazers:2956Issues:0Issues:0

AlphaZero.jl

A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

Language:JuliaLicense:MITStargazers:1227Issues:0Issues:0

alpha-zero-boosted

A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)

Language:PythonStargazers:83Issues:0Issues:0

The-Open-Book

License:CC-BY-SA-4.0Stargazers:7437Issues:0Issues:0

lr

Incremental parsing system

Language:TypeScriptLicense:MITStargazers:607Issues:0Issues:0

SAT.js

A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)

Language:JavaScriptLicense:GPL-3.0Stargazers:46Issues:0Issues:0

slate

A completely customizable framework for building rich text editors. (Currently in beta.)

Language:TypeScriptLicense:MITStargazers:29453Issues:0Issues:0

imp

Various experiments in relational programming

Language:ZigStargazers:269Issues:0Issues:0

verse

My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.

Language:CoqStargazers:7Issues:0Issues:0

Smalltalk

By the Bluebook implementation of Smalltalk-80

Language:CLicense:MITStargazers:822Issues:0Issues:0

microui

A tiny immediate-mode UI library

Language:CLicense:MITStargazers:3233Issues:0Issues:0

macross

Macross 6502, the assembler written by Lucasfilm Ltd. that was used for Habitat and SCUMM

Language:CStargazers:158Issues:0Issues:0

default-text-scale

Easily adjust the font size in all Emacs frames

Language:Emacs LispStargazers:77Issues:0Issues:0

xv6-riscv-book

Text describing xv6 on RISC-V

Language:TeXLicense:NOASSERTIONStargazers:628Issues:0Issues:0

blog

Some notes on things I find interesting and important.

Language:JavaScriptStargazers:1952Issues:0Issues:0

mecca

Animated music editor in Clojurescript/re-frame

Language:JavaScriptStargazers:168Issues:0Issues:0

rux

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

Language:RustLicense:MITStargazers:295Issues:0Issues:0

b1fipl

A Bestiary of Single-File Implementations of Programming Languages

Stargazers:994Issues:0Issues:0

bondi

Barry Jay's (bond-eye) pattern language

Language:OCamlLicense:BSD-3-ClauseStargazers:12Issues:0Issues:0

Vaquero

A scripting language for cowboy coders

Language:SchemeLicense:MITStargazers:22Issues:0Issues:0

Grift

A compiler for the gradually typed lambda calculus

Language:CLicense:MITStargazers:74Issues:0Issues:0

reflection-schemes

exploration of reflective architectures in Scheme

Language:SchemeStargazers:20Issues:0Issues:0

papers-i-love

Computer science and computer-adjacent papers (and sometimes books) that have influenced me deeply.

Stargazers:299Issues:0Issues:0

rmacs

An EMACS written in Racket. Runs in ANSI-compatible terminals.

Language:RacketLicense:NOASSERTIONStargazers:73Issues:0Issues:0