Pinned Repositories
.emacs.d
Emacs config
busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
defkey
Clean Emacs key bindings
ecio-lisp
An "explicit-control" Lisp interpreter implemented with Python file I/O
glitchy
Glitch art generator: guaranteed to create glitched images, "art" not guaranteed
Lisp-C-Compyler
Lisp-to-C compiler written in Python. Based on the compiler presented in SICP chapter 5!
lispinc
An "explicit control" Lisp interpreter written in assembly-like C
LispPyByCompyler
Compiles Lisp to CPython bytecode
reazon
miniKanren for Emacs
SICP-register-machine
A translation into JavaScript of the register machine simulator presented in SICP chap 5.
nickdrozd's Repositories
nickdrozd/reazon
miniKanren for Emacs
nickdrozd/busy-beaver-stuff
Tools for finding and analyzing Busy Beaver programs for Turing machines
nickdrozd/Lisp-C-Compyler
Lisp-to-C compiler written in Python. Based on the compiler presented in SICP chapter 5!
nickdrozd/.emacs.d
Emacs config
nickdrozd/glitchy
Glitch art generator: guaranteed to create glitched images, "art" not guaranteed
nickdrozd/nickdrozd.github.io
nickdrozd/astroid
A common base representation of python source code for pylint and other projects
nickdrozd/bandit
Bandit is a tool designed to find common security issues in Python code.
nickdrozd/batman
Fast transit light curves models in Python.
nickdrozd/blink1.el
Blink1m client
nickdrozd/busy-beaver
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
nickdrozd/coveragepy
The code coverage tool for Python
nickdrozd/cpython
The Python programming language
nickdrozd/dotfiles
Config files...
nickdrozd/eboy
A Gameboy emulator for Emacs
nickdrozd/engine-mode
Minor mode for defining and querying search engines through Emacs.
nickdrozd/helpful
A better Emacs *help* buffer
nickdrozd/Idris-dev
A Dependently Typed Functional Programming Language
nickdrozd/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
nickdrozd/Idris2
A purely functional programming language with first class types
nickdrozd/lin-rado-turing
nickdrozd/magit
It's Magit! A Git porcelain inside Emacs.
nickdrozd/mypy
Optional static typing for Python 2 and 3 (PEP484)
nickdrozd/pylint
A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells
nickdrozd/pyo3
Rust bindings for the Python interpreter
nickdrozd/rado
Turing machine in Idris, with some cool types
nickdrozd/remacs
Rust :heart: Emacs
nickdrozd/ruff
An extremely fast Python linter and code formatter, written in Rust.
nickdrozd/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
nickdrozd/transcription-mode
Emacs mode for editing transcripts.