8000 ashinkarov (Artem Shinkarov) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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
Showing results

Library of 40+ independent Lua modules improving overall Neovim (version 0.8 and higher) experience with minimal effort

Lua 7,257 237 Updated May 21, 2025

Work in progress

Agda 34 Updated Nov 28, 2024

TinyAPL, a tiny APL dialect and interpreter in Haskell

Haskell 58 6 Updated May 21, 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 16 2 Updated Aug 14, 2023

A duck that waddles arbitrarily in neovim.

Lua 719 10 Updated Mar 8, 2024

Compiler backend for generating Scheme code

Haskell 26 3 Updated Nov 21, 2023

Agda for neovim

Haskell 6 Updated Feb 5, 2025

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

Emacs Lisp 945 35 Updated Sep 9, 2024

J Language Source Code. Livestream links ⬇️

C 38 18 Updated Aug 3, 2022

Shell scripts made simple 🐚

Python 661 11 Updated Sep 6, 2024

Minimal implementations for dependent type checking and elaboration

Haskell 666 42 Updated May 17, 2025

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

C 751 26 Updated May 12, 2024

papers of Per Martin Löf

TeX 779 69 Updated Jan 30, 2024

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

Python 999 32 Updated May 21, 2024

Linux port of FAR v2

C 1,915 182 Updated May 13, 2025

Self-rendering Markdown + LaTeX documents

JavaScript 2,377 75 Updated Jul 20, 2023

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

Rust 26,184 417 Updated May 2, 2025

Duplicates finder for various source code formats.

C++ 106 25 Updated May 21, 2025

Magic auto brightness based on screen contents 💡

Objective-C 2,296 53 Updated Mar 5, 2023

Spotlight-like Rofi

Shell 204 7 Updated Jun 7, 2021

Automatic brightness adjustment based on screen contents and ALS

Rust 781 31 Updated Mar 25, 2025

CLI Epub Reader

Python 1,276 50 Updated Feb 8, 2023

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

Python 1,041 58 Updated Mar 17, 2024

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

Shell 31 8 Updated Dec 10, 2020

A C interpreter and API explorer.

C 829 37 Updated Feb 16, 2022

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

C 662 92 Updated Nov 14, 2022

🌳 X11 tiling window manager using space partitioning trees

C++ 411 15 Updated Mar 19, 2023

Text mode window environment. A "retro" program for embedded or remote systems, that doubles as X11 terminal and text-mode equivalent of VNC server

C 717 43 Updated Apr 26, 2025

Unofficial ProtonMail Desktop App

TypeScript 1,570 103 Updated Jan 9, 2025

⛅ The right way to check the weather

Python 26,039 1,140 Updated Mar 4, 2025
Next
0