mdko

attapl

Implementations of the various typecheckers and interpreters found in "Advanced Topics in Types and Programming Languages"

PyRTL-Extras

My extra library of PyRTL fun

advent-of-code

My solutions to Github's Advent of Code

asciidoctor

:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML5, DocBook 5 (or 4.5) and other formats.

asciidoctor-bibliography

Citations in AsciiDoc

asciidoctor-latex

:triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX

byu-courses

cpython

The Python programming language

fractal-sim

Playing with fractals

fzf-bibtex

a BibTeX source for fzf

fzf.vim

fzf :heart: vim

game-of-life

Game of Life simulator

kitty

A cross-platform, fast, feature full, GPU based terminal emulator

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

mae

minesweeper-ocaml

A Minesweeper clone, written in OCaml with LablGtk.

mspdebug

Debugging tool for MSP430 MCUs

naken_asm

Assembler for MSP430, dsPIC, ARM, MIPS, 65xx, 68000, 8051/8052, Atmel AVR8, and others.

neovim

Vim-fork focused on extensibility and usability

purer

💧 Pretty one-line ZSH prompt based on "Pure".

pycoreir

Python bindings for coreir

pyodide

Python with the scientific stack, compiled to WebAssembly.

sudoku-pysmt

A sudoku solver via PySMT

sv2v

SystemVerilog to Verilog conversion

tmux

todo.txt-cli

A simple and extensible shell script for managing your todo.txt file.

user-documentation

Documentation for those that use HHVM and write Hack code.

vim

w20

Website for UCSB CS64, Z. Matni, Winter 2020

yosys

Yosys Open SYnthesis Suite