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 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
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,384 85 Updated Jan 11, 2026

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

Lua 8,622 292 Updated Jan 17, 2026

Work in progress

Agda 39 Updated Jun 7, 2025

TinyAPL, a tiny APL dialect and interpreter in Haskell

Haskell 69 6 Updated Sep 15, 2025

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 746 10 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 959 35 Updated Sep 9, 2024

J Language Source Code. Livestream links ⬇️

C 38 18 Updated Aug 3, 2022

Shell scripts made simple 🐚

Python 663 11 Updated Sep 6, 2024

Minimal implementations for dependent type checking and elaboration

Haskell 760 47 Updated Jan 10, 2026

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

C 780 28 Updated Oct 9, 2025

papers of Per Martin Löf

TeX 808 70 Updated Jan 30, 2024

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

Python 1,088 37 Updated May 21, 2024

Linux port of FAR v2

C++ 2,082 196 Updated Dec 13, 2025

Self-rendering Markdown + LaTeX documents

JavaScript 2,416 78 Updated Jul 20, 2023

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

Rust 28,729 469 Updated Dec 11, 2025

Duplicates finder for various source code formats.

C++ 117 29 Updated Jan 14, 2026

Magic auto brightness based on screen contents 💡

Objective-C 2,421 55 Updated Jun 19, 2025

Spotlight-like Rofi

Shell 211 7 Updated Jun 7, 2021

Automatic brightness adjustment based on screen contents and ALS

Rust 884 40 Updated Dec 1, 2025

CLI Epub Reader

Python 1,360 50 Updated Feb 8, 2023

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

Python 1,150 64 Updated Mar 17, 2024

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

Shell 30 8 Updated Dec 10, 2020

A C interpreter and API explorer.

C 843 37 Updated Feb 16, 2022

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

C 664 90 Updated Nov 14, 2022

🌳 X11 tiling window manager using space partitioning trees

C++ 411 16 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,020 57 Updated Jan 12, 2026

Unofficial ProtonMail Desktop App

TypeScript 1,628 107 Updated Dec 16, 2025
Next