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,586 99 Updated Aug 11, 2026

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

Lua 9,432 310 Updated Aug 7, 2026

Work in progress

Agda 41 Updated Jun 7, 2025

TinyAPL, a tiny APL dialect and interpreter in Haskell

Haskell 104 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 25 5 Updated Aug 14, 2023

A duck that waddles arbitrarily in neovim.

Lua 749 11 Updated Mar 8, 2024

Compiler backend for generating Scheme code

Haskell 30 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 966 34 Updated Sep 9, 2024

J Language Source Code. Livestream links ⬇️

C 39 18 Updated Aug 3, 2022

Shell scripts made simple 🐚

Python 666 11 Updated Sep 6, 2024

Minimal implementations for dependent type checking and elaboration

Haskell 793 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 792 31 Updated Mar 4, 2026

papers of Per Martin Löf

TeX 825 72 Updated Jan 30, 2024

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

Python 1,135 39 Updated Jul 13, 2026

Linux port of FAR v2

C++ 2,205 214 Updated Aug 10, 2026

Self-rendering Markdown + LaTeX documents

JavaScript 2,440 78 Updated Jul 20, 2023

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

Rust 31,710 557 Updated Aug 2, 2026

Duplicates finder for various source code formats.

C++ 129 30 Updated Jul 14, 2026

Magic auto brightness based on screen contents 💡

Objective-C 2,423 57 Updated Jun 28, 2026

Spotlight-like Rofi

Shell 212 7 Updated Jun 7, 2021

Automatic brightness adjustment based on screen contents and ALS

Rust 933 48 Updated Aug 9, 2026

CLI Epub Reader

Python 1,399 53 Updated Feb 8, 2023

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

Python 1,208 72 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 846 38 Updated Feb 16, 2022

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

C 667 89 Updated Nov 14, 2022

🌳 X11 tiling window manager using space partitioning trees

C++ 408 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,053 62 Updated Aug 3, 2026

Unofficial ProtonMail Desktop App

TypeScript 1,675 106 Updated Jul 14, 2026
Next