Giters
Darius Bacon (darius)

darius

Geek Repo

515

followers

128

following

805

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

mini-rv32ima

A tiny C header-only risc-v emulator.

Language:CLicense:MITStargazers:1629Issues:0Issues:0

build-prove-compare-student-code

Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey

Language:Standard MLStargazers:23Issues:0Issues:0

Python

All Algorithms implemented in Python

Language:PythonLicense:MITStargazers:184128Issues:0Issues:0

primer

Factored Cognition Primer: How to write compositional language model programs

Stargazers:46Issues:0Issues:0

lean4-raytracer

A simple raytracer written in Lean 4

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

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

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

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:2462Issues:0Issues:0

sd

a cozy nest for your scripts

Language:ShellLicense:MITStargazers:704Issues:0Issues:0

deep_learning_curriculum

Language model alignment-focused deep learning curriculum

Stargazers:1213Issues:0Issues:0

scheme

An R7RS Scheme implemented in WebAssembly

Language:WebAssemblyLicense:MITStargazers:170Issues:0Issues:0

copilot.el

An unofficial Copilot plugin for Emacs.

Language:Emacs LispLicense:MITStargazers:1776Issues:0Issues:0

awesome-lisp-languages

A list of Lisp-flavored programming languages

Stargazers:719Issues:0Issues:0

pikaparser

The Pika Parser reference implementation

Language:JavaLicense:MITStargazers:141Issues:0Issues:0

MarkovJunior

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Language:C#License:MITStargazers:7417Issues:0Issues:0

NanoCAD

~15 year old Molecular Nanotechnology CAD by Will Ware

Language:JavaStargazers:9Issues:0Issues:0

ecco

Explain, analyze, and visualize NLP language models. Ecco creates interactive visualizations directly in Jupyter notebooks explaining the behavior of Transformer-based language models (like GPT2, BERT, RoBERTA, T5, and T0).

Language:Jupyter NotebookLicense:BSD-3-ClauseStargazers:1965Issues:0Issues:0

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

Language:PythonLicense:MITStargazers:26117Issues:0Issues:0

ai-notebooks

Some ipython notebooks implementing AI algorithms

Language:Jupyter NotebookStargazers:1247Issues:0Issues:0

fromthetransistor

From the Transistor to the Web Browser, a rough outline for a 12 week course

Stargazers:5222Issues:0Issues:0

kestrel

The Kestrel is a family of home-made computers, built as much as possible on open-source technology, and supporting as much as possible the open-source philosophy.

Language:AssemblyLicense:MPL-2.0Stargazers:185Issues:0Issues:0

srcweave

A literate programming system for any language.

Language:Common LispLicense:GPL-2.0Stargazers:81Issues:0Issues:0

leancheck

enumerative property-based testing for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:52Issues:0Issues:0

inform

The core software distribution for the Inform 7 programming language.

Language:CLicense:Artistic-2.0Stargazers:1313Issues:0Issues:0

youtube-dl

Command-line program to download videos from YouTube.com and other video sites

Language:PythonLicense:UnlicenseStargazers:131294Issues:0Issues:0

mctx

Monte Carlo tree search in JAX

Language:PythonLicense:Apache-2.0Stargazers:2310Issues:0Issues:0

helix

A post-modern modal text editor.

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

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

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

fare-quasiquote

Portable implementation of quasiquote for Common Lisp

Language:Common LispStargazers:27Issues:0Issues:0

trivia

Pattern Matcher Compatible with Optima

Language:Common LispLicense:NOASSERTIONStargazers:333Issues:0Issues:0

mini-c

Dr Strangehack, or: how to write a self-hosting C compiler in 10 hours

Language:CStargazers:507Issues:0Issues:0