Zachary Yedidia Claim this profile

A collection of generic data structures written in Go.

A literate programming tool for any language

Easily install prebuilt binaries from GitHub.

A simple and flexible build tool using Lua, similar to make/mk.

An operating system kernel for RISC-V and AArch64 SBCs

A PEG parsing machine with support for incremental parsing.

A binding of the game and multimedia library SFML for Julia

Record "perf" performance metrics for individual functions/regions of an ELF binary.

A tool and library for using structural regular expressions.

A Go package for syntax highlighting

Vim plugin for the Literate programming tool

Snake game written in Vimscript

A D wrapper of the TUI library Termbox

A tool for generating unions in Go

My Vim configuration

Syntax highlighting engine built using GPeg

Fast animated (and static) plots for Julia

Package terminal is a vt10x terminal emulation backend.

A tiny 3-stage RISC-V core written in Chisel.

Compiler from Webassembly to native binaries

This is a fork of https://github.com/gdamore/tcell

Visualizing the ARM64 instruction set

A tool for making password-protected files

Cross-platform clipboard access in Go

Makefile template for simple C/C++ programs

Built in Vim linter for Julia

No description.

A binding of the physics engine Chipmunk for Julia

A small RISC-V symbolic execution engine

C garbage collector

clipboard for golang

A rope data structure implemented in Go

Library for implementing an mmap API in a kernel or runtime

Never fight the borrow checker again!

A tool for tracing the inputs and outputs of a command

A filetype detection library

No description.

A simple RISC-V RV32I assembler

No description.

Research Artifact for "Deterministic Client: Enforcing Determinism on Untrusted Machine Code"

No description.

No description.

A tool for analyzing the Arm Machine Readable Specification

Simple hashtable written in C

SFML.jl examples from JuliaCon

No description.

No description.

picolibc - a C library designed for embedded 32- and 64- bit systems.

No description.

QUark Assembly Rewriting Kit

Clang toolchain builder for LFI

No description.

No description.

No description.

Pre-built Linux binaries for the RISC-V GNU Toolchain

No description.

A tool for converting Ninja build files to Knitfiles

No description.

No description.

A small SoC built around the Ibex processor

An experiment in unpredictability.

No description.

No description.

No description.

No description.

Simple and minimal Dwitter client for playing Dweets

A framework for building 2D desktop games in JavaScript, with a Love2D-inspired API

Unofficial mirror of etalabs musl repository. Updated daily.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

No description.

simplifies data passing to and from gopher-lua

No description.

No description.

No description.

No description.

No description.

Automatic builder for a GCC LFI toolchain

Website for Literate

Go utilities for performing shell-like word splitting/joining

Unofficial mirror of sourceware binutils-gdb repository. Updated daily.

C++ coroutines green threading example

Partial evaluator for Arm's Architecture Specification Language (ASL)

(unofficial mirror fork of merryhime/dynarmic)

Simple bare-metal library and example programs for the HiFive 1 Rev B

No description.

SystemVerilog compiler and language services

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

A tool for finding and executing commands from compile_commands.json

No description.

No description.

GitHub Action for installing Knit

No description.

No description.

No description.

an Awk clone

Apt-cyg, an apt-get like tool for Cygwin

Development environment for Kage on Android kernels

Fork of Android kernel to support LFI kernel modules

No description.

No description.

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Vim plugin for the Architecture Specification Language (ASL)

Machine Code Binary Decision Diagrams (MCBDDs)

Systems language with linear types and capability-based security.

KVM based tiny x86 hypervisor written in pure golang, which can boot Linux

A fast and lightweight decoder for x86 and x86-64 and encoder for x86-64.

mimalloc is a compact general purpose allocator with excellent performance.

Public repository of the QuickJS Javascript Engine.

Mirror of the LuaJIT git repository

Public repository of the Micro QuickJS Javascript Engine

Prebuilt embeddable libraries of the V8 JavaScript engine and scripts for building from source

Minimal modern efficient cross platform 2D graphics painter in C

No description.

Unicode Text Segmentation, Word Wrapping, and String Width Calculation in Go

No description.

The WebAssembly Binary Toolkit

WebAssembly Micro Runtime (WAMR)

No description.

No description.

Example library sandboxed using RLBox-LFI

An instrumentation tool for Instrumentable Object Modules

No description.

No description.

No description.

No description.

Jetpack Media3 support libraries for media use cases, including ExoPlayer, an extensible media player for Android

A GitHub host of libelf from BSD Elftoolchain

Examples for using JNI with LFI

CloudABI's standard C library

A mini x86-64 assembler for fun and learning.

Disarm — Fast AArch64 Decode/Encoder

Freestanding libelf extracted from elfutils

No description.

JDK main-line development https://openjdk.org/projects/jdk

Zygo is a Lisp interpreter written in 100% Go. Central use case: dynamically compose Go struct trees in a zygo script, then invoke compiled Go functions on those trees. Makes Go reflection easy.

A read-only mirror of dav1d source code repository. The origin is at https://code.videolan.org/videolan/dav1d/

Linux kernel source tree

No description.

No description.

x86-64 assembler library

Tiny generic hashmap implemented in D.

No description.

Circuit IR Compilers and Tools

No description.

No description.

No description.

No description.

Portable UNIX tools (mirror)

No description.

CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).

No description.

RISC-V Disassembler

Experiments with bare-metal Hare

No description.

Auto configurations for Language Server for vim-lsp

"Das U-Boot" Source Tree

No description.

A Brainfuck frontend for GCC

Empowering everyone to build reliable and efficient software.

The RISC-V Virtual Machine

No description.

GitHub Action to upload assets to a Release

Package and build management system for D

Swiss-army knife for D source code

Asynchronous linting and make framework for Neovim/Vim

ls implementation in golang

No description.

RISC-V Open Source Supervisor Binary Interface

The LLVM-based D Compiler.

dmd D Programming Language compiler

Steamworks API wrapper for Go

GNU toolchain for RISC-V, including GCC

Shell scripts to build various gcc cross-compilers (primarily djgpp)

ninja-compatible build tool written in C

No description.

An x86 kernel written in Zig

The specification for the FIRRTL language

No description.

Flexible Intermediate Representation for RTL

GopherLua: VM and compiler for Lua in Go

:beers: Core formulae for the Homebrew package manager

No description.

No description.

A tool for creating Chisel projects

No description.

PTY interface for Go

Chisel 3: A Modern Hardware Design Language

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

No description.

No description.

Beta release of Masstree.

A library of C++ coroutine abstractions for the coroutines TS

Show timing and utilization info from a NextPNR report

Verilator open-source SystemVerilog simulator and lint system

RIOT - The friendly OS for IoT

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

Automatically exported from code.google.com/p/gotcl

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

No description.

Bindings for the Z3 SMT solver