Pinned Repositories
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
attapl
Implementations of the various typecheckers and interpreters found in "Advanced Topics in Types and Programming Languages"
byu-courses
byu-cs240
An advanced programming class at BYU
byu-cs345
byu-cs360
Internet Programming
PyRTL-Extras
My extra library of PyRTL fun
mdko's Repositories
mdko/attapl
Implementations of the various typecheckers and interpreters found in "Advanced Topics in Types and Programming Languages"
mdko/PyRTL-Extras
My extra library of PyRTL fun
mdko/advent-of-code
My solutions to Github's Advent of Code
mdko/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.
mdko/asciidoctor-bibliography
Citations in AsciiDoc
mdko/asciidoctor-latex
:triangular_ruler: Add LaTeX features to AsciiDoc & convert AsciiDoc to LaTeX
mdko/byu-courses
mdko/cpython
The Python programming language
mdko/fractal-sim
Playing with fractals
mdko/fzf-bibtex
a BibTeX source for fzf
mdko/fzf.vim
fzf :heart: vim
mdko/game-of-life
Game of Life simulator
mdko/kitty
A cross-platform, fast, feature full, GPU based terminal emulator
mdko/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
mdko/mae
mdko/minesweeper-ocaml
A Minesweeper clone, written in OCaml with LablGtk.
mdko/mspdebug
Debugging tool for MSP430 MCUs
mdko/naken_asm
Assembler for MSP430, dsPIC, ARM, MIPS, 65xx, 68000, 8051/8052, Atmel AVR8, and others.
mdko/neovim
Vim-fork focused on extensibility and usability
mdko/purer
💧 Pretty one-line ZSH prompt based on "Pure".
mdko/pycoreir
Python bindings for coreir
mdko/pyodide
Python with the scientific stack, compiled to WebAssembly.
mdko/sudoku-pysmt
A sudoku solver via PySMT
mdko/sv2v
SystemVerilog to Verilog conversion
mdko/tmux
mdko/todo.txt-cli
A simple and extensible shell script for managing your todo.txt file.
mdko/user-documentation
Documentation for those that use HHVM and write Hack code.
mdko/vim
mdko/w20
Website for UCSB CS64, Z. Matni, Winter 2020
mdko/yosys
Yosys Open SYnthesis Suite