8000 nickdrozd (nickdrozd) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View nickdrozd's full-sized avatar
89 followers · 4 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report nickdrozd

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • busy-beaver-stuff Public

    Tools for finding and analyzing Busy Beaver programs for Turing machines

    turing-machine computability-theory busy-beaver
    Python 11 2 GNU General Public License v3.0 Updated May 6, 2025

  • nickdrozd.github.io Public

    Ruby Updated Mar 24, 2025

  • Coq-BB5 Public

    Forked from ccz181078/Coq-BB5
    Coq Updated Feb 27, 2025

  • pylint Public

    Forked from pylint-dev/pylint

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

    Python GNU General Public License v2.0 Updated Jan 6, 2025

  • astroid Public

    Forked from pylint-dev/astroid

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

    Python Updated Jan 6, 2025

  • coveragepy Public

    Forked from nedbat/coveragepy

    The code coverage tool for Python

    Python Apache License 2.0 Updated Jan 5, 2025

  • pyo3 Public

    Forked from PyO3/pyo3

    Rust bindings for the Python interpreter

    Rust Other Updated May 1, 2024

  • ruff Public

    Forked from astral-sh/ruff

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

    Rust MIT License Updated Jan 2, 2024

  • mypy Public

    Forked from python/mypy

    Optional static typing for Python 2 and 3 (PEP484)

    Python Other Updated Jul 26, 2023

  • cpython Public

    Forked from python/cpython

    The Python programming language

    Python Other Updated Nov 11, 2022

  • Idris2 Public

    Forked from idris-lang/Idris2

    A purely functional programming language with first class types

    Idris Other Updated Feb 3, 2022

  • engine-mode Public

    Forked from hrs/engine-mode

    Minor mode for defining and querying search engines through Emacs.

    Emacs Lisp GNU General Public License v3.0 Updated Dec 31, 2021

  • reazon Public

    miniKanren for Emacs

    Emacs Lisp 113 6 GNU General Public License v3.0 2 issues need help Updated Dec 29, 2021

  • .emacs.d Public

    Emacs config

    Emacs Lisp 1 Updated Dec 15, 2021

  • Lisp-C-Compyler Public

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

    Python 6 1 Updated Oct 26, 2021

  • rado Public

    Turing machine in Idris, with some cool types

    Idris Updated Sep 19, 2021

  • lin-rado-turing Public

    Forked from boydjohnson/lin-rado-turing
    Rust Updated Aug 5, 2021

  • dotfiles Public

    Config files...

    Shell MIT License Updated Mar 17, 2021

  • remacs Public

    Forked from remacs/remacs

    Rust ❤️ Emacs

    Emacs Lisp GNU General Public License v3.0 Updated Jan 1, 2021

  • busy-beaver Public

    Forked from sligocki/busy-beaver

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

    Python Updated Oct 9, 2020

  • batman Public

    Forked from lkreidberg/batman

    Fast transit light curves models in Python.

    TeX GNU General Public License v3.0 Updated Jul 19, 2020

  • transcription-mode Public

    Forked from skeeto/transcription-mode

    Emacs mode for editing transcripts.

    Emacs Lisp The Unlicense Updated Jun 27, 2020

  • rust-clippy Public

    Forked from rust-lang/rust-clippy

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

    Rust Other Updated May 27, 2020

  • Idris-dev Public

    Forked from idris-lang/Idris-dev

    A Dependently Typed Functional Programming Language

    Haskell Other Updated May 24, 2020

  • blink1.el Public

    Forked from ebpa/blink1.el

    Blink1m client

    Emacs Lisp Updated Mar 1, 2020

  • glitchy Public

    Forked from meereeum/glitchy

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

    Python 1 Updated Feb 13, 2020

  • helpful Public

    Forked from Wilfred/helpful

    A better Emacs *help* buffer

    Emacs Lisp Updated Jul 11, 2019

  • idris-mode Public

    Forked from idris-hackers/idris-mode

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

    Emacs Lisp GNU General Public License v3.0 Updated Apr 19, 2019

  • eboy Public

    Forked from vreeze/eboy

    A Gameboy emulator for Emacs

    Emacs Lisp GNU General Public License v3.0 Updated Mar 2, 2019

  • bandit Public

    Forked from PyCQA/bandit

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

    Python Apache License 2.0 Updated Mar 2, 2019
0