Skip to content
View ashinkarov's full-sized avatar

Block or report ashinkarov

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
Showing results

Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

C 1,438 91 Updated Jun 21, 2026

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

Lua 9,318 306 Updated Jun 21, 2026

Work in progress

Agda 41 Updated Jun 7, 2025

TinyAPL, a tiny APL dialect and interpreter in Haskell

Haskell 100 8 Updated Jun 1, 2026

My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie University in April 2022.

Agda 24 4 Updated Aug 14, 2023

A duck that waddles arbitrarily in neovim.

Lua 752 11 Updated Mar 8, 2024

Compiler backend for generating Scheme code

Haskell 28 4 Updated Nov 27, 2025

Agda for neovim

Haskell 6 Updated Feb 5, 2025

A dark and sleek Emacs setup for general purpose editing and programming

Emacs Lisp 967 34 Updated Sep 9, 2024

J Language Source Code. Livestream links ⬇️

C 39 18 Updated Aug 3, 2022

Shell scripts made simple 🐚

Python 665 11 Updated Sep 6, 2024

Minimal implementations for dependent type checking and elaboration

Haskell 790 50 Updated Jan 30, 2026

A C daemon that turns your webcam into a light sensor. It will adjust screen backlight based on ambient brightness.

C 790 30 Updated Mar 4, 2026

papers of Per Martin Löf

TeX 824 72 Updated Jan 30, 2024

Script for sway and i3 to automatically switch the horizontal / vertical window split orientation

Python 1,136 39 Updated May 21, 2024

Linux port of FAR v2

C++ 2,184 208 Updated May 24, 2026

Self-rendering Markdown + LaTeX documents

JavaScript 2,437 78 Updated Jul 20, 2023

A syntax-highlighting pager for git, diff, grep, rg --json, and blame output

Rust 31,181 538 Updated Mar 28, 2026

Duplicates finder for various source code formats.

C++ 125 30 Updated Jun 18, 2026

Magic auto brightness based on screen contents 💡

Objective-C 2,424 57 Updated Jun 19, 2025

Spotlight-like Rofi

Shell 212 7 Updated Jun 7, 2021

Automatic brightness adjustment based on screen contents and ALS

Rust 924 47 Updated Jun 10, 2026

CLI Epub Reader

Python 1,390 51 Updated Feb 8, 2023

CLI Ebook (epub2, epub3, fb2, mobi) Reader

Python 1,196 69 Updated Mar 17, 2024

A collection of scripts to prepare a Gentoo tarball for the pinebook pro

Shell 31 7 Updated Dec 10, 2020

A C interpreter and API explorer.

C 844 37 Updated Feb 16, 2022

A kernel that can read from keyboard and print on-screen

C 666 89 Updated Nov 14, 2022

🌳 X11 tiling window manager using space partitioning trees

C++ 409 14 Updated Mar 19, 2023

Text mode window environment. A terminal emulator and multiplexer with mouse support, overlapped windows and networked clients. Text-mode equivalent of X11 server + VNC server

C 1,047 62 Updated Apr 24, 2026

Unofficial ProtonMail Desktop App

TypeScript 1,661 106 Updated Jun 21, 2026
Next