Skip to content
View kovrik's full-sized avatar

Block or report kovrik

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

⚙️ Multipass C Compiler, Assembler and X86 emulator written in TypeScript

TypeScript 369 18 Updated Oct 14, 2024

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

Emacs Lisp 384 24 Updated Feb 27, 2024

Metadata for projects tracked by Quicklisp.

418 46 Updated Jan 9, 2025

SLT is an IDE Plugin for Itellij/Jetbrains IDE lineup implementing support for Common Lisp via Slime/Swank and supported lisp interpret.

Common Lisp 201 12 Updated Aug 1, 2023

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

Common Lisp 1,885 329 Updated Jan 20, 2025

Armed Bear Common Lisp <git+https://github.com/armedbear/abcl/> <--> <svn+https://abcl.org/svn> Bridge

Common Lisp 301 33 Updated Dec 12, 2024

Static Analyzer for Solidity and Vyper

Python 5,442 989 Updated Jan 17, 2025

BitTorrent library and client with DHT, magnet links, encryption and more

Java 2,426 381 Updated Jun 13, 2023

A Java library for generating String from a regular expression.

Java 378 74 Updated Apr 28, 2021

Block-breaking game in vim 8.0

Vim Script 1,646 47 Updated Aug 29, 2018

Linux kernel source tree

C 186,150 54,815 Updated Jan 19, 2025

A proof of concept OS kernel written in Go

Go 2,587 179 Updated Aug 29, 2020

A web framework for Lua and OpenResty written in MoonScript

MoonScript 3,165 248 Updated Nov 1, 2024

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

Python 3,010 163 Updated Jan 20, 2025

Next-gen, highly customizable content editor for the browser - based on React and written in TypeScript. WYSIWYG on steroids.

TypeScript 9,485 642 Updated Nov 5, 2024

Static code analysis for Kotlin

Kotlin 6,367 784 Updated Jan 20, 2025

The Kotlin Programming Language.

Kotlin 49,828 5,823 Updated Jan 20, 2025

🌸 A command-line fuzzy finder

Go 67,255 2,434 Updated Jan 19, 2025

Lumina Desktop Environment

C++ 536 117 Updated Jun 12, 2024

Improve your shell by making it functional through Haskell! (An update to Awkward)

Haskell 291 8 Updated Jan 27, 2022

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

Perl 20,095 1,034 Updated Jan 20, 2025

Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…

Python 63,701 23,945 Updated Jan 18, 2025

Emacs X Window Manager

2,849 134 Updated Feb 5, 2024

Code and data for paper "Deep Photo Style Transfer": https://arxiv.org/abs/1703.07511

MATLAB 9,987 1,403 Updated Aug 2, 2021

aeneas is a Python/C library and a set of tools to automagically synchronize audio and text (aka forced alignment)

Python 2,555 237 Updated Jun 22, 2024

Gravity Programming Language

C 4,339 231 Updated Jul 8, 2024

A multitasking monolithic Kernel based x86 targeting Operating System written in C# from scratch aiming for high-level implementation of drivers in managed environment.

C# 1,260 86 Updated Mar 18, 2017

The Pascal-F Verifier

Common Lisp 48 4 Updated Jul 17, 2017

A cross-platform, OpenGL terminal emulator.

Rust 57,407 3,061 Updated Jan 16, 2025

JNLPDownloadServlet - with fixes (connections leak fix)

Java 2 2 Updated Feb 13, 2018
Next