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,369 84 Updated Jan 11, 2026

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

Lua 8,577 292 Updated Jan 10, 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 745 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 961 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 758 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 779 28 Updated Oct 9, 2025

papers of Per Martin Löf

TeX 807 70 Updated Jan 30, 2024

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

Python 1,085 37 Updated May 21, 2024

Linux port of FAR v2

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

Self-rendering Markdown + LaTeX documents

JavaScript 2,415 78 Updated Jul 20, 2023

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

Rust 28,638 467 Updated Dec 11, 2025

Duplicates finder for various source code formats.

C++ 116 28 Updated Dec 12, 2025

Magic auto brightness based on screen contents 💡

Objective-C 2,420 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,359 50 Updated Feb 8, 2023

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

Python 1,147 63 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,019 57 Updated Jan 11, 2026

Unofficial ProtonMail Desktop App

TypeScript 1,624 107 Updated Dec 16, 2025
Next