nickdrozd

reazon

miniKanren for Emacs

busy-beaver-stuff

Tools for finding and analyzing Busy Beaver programs for Turing machines

Lisp-C-Compyler

Lisp-to-C compiler written in Python. Based on the compiler presented in SICP chapter 5!

.emacs.d

Emacs config

glitchy

Glitch art generator: guaranteed to create glitched images, "art" not guaranteed

nickdrozd.github.io

astroid

A common base representation of python source code for pylint and other projects

bandit

Bandit is a tool designed to find common security issues in Python code.

batman

Fast transit light curves models in Python.

blink1.el

Blink1m client

busy-beaver

Tools for finding Busy Beaver Turing Machines and Proving others as non-halting

coveragepy

The code coverage tool for Python

cpython

The Python programming language

dotfiles

Config files...

eboy

A Gameboy emulator for Emacs

engine-mode

Minor mode for defining and querying search engines through Emacs.

helpful

A better Emacs *help* buffer

Idris-dev

A Dependently Typed Functional Programming Language

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Idris2

A purely functional programming language with first class types

lin-rado-turing

magit

It's Magit! A Git porcelain inside Emacs.

mypy

Optional static typing for Python 2 and 3 (PEP484)

pylint

A Python source code analyzer which looks for programming errors, helps enforcing a coding standard and sniffs for some code smells

pyo3

Rust bindings for the Python interpreter

rado

Turing machine in Idris, with some cool types

remacs

Rust :heart: Emacs

ruff

An extremely fast Python linter and code formatter, written in Rust.

rust-clippy

A bunch of lints to catch common mistakes and improve your Rust code

transcription-mode

Emacs mode for editing transcripts.