kovrik

followers

following

stars

New Zealand

kovrik's starred repositories

ts-c-compiler

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

Language:TypeScriptMIT32800

emacs4cl

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

Language:Emacs LispMIT36800

quicklisp-projects

Metadata for projects tracked by Quicklisp.

SLT

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

Language:Common LispApache-2.018900

sbcl

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

Language:Common LispNOASSERTION180100

abcl

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

Language:Common LispNOASSERTION28700

slither

Static Analyzer for Solidity and Vyper

Language:PythonAGPL-3.0515100

bt

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

Language:JavaApache-2.0240000

Generex

A Java library for generating String from a regular expression.

Language:Java37300

vim-game-code-break

Block-breaking game in vim 8.0

Language:Vim scriptMIT163700

linux

Linux kernel source tree

Language:CNOASSERTION17490000

gopher-os

A proof of concept OS kernel written in Go

Language:GoMIT254600

lapis

A web framework for Lua and OpenResty written in MoonScript

Language:MoonScriptMIT308000

oil

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

Language:PythonNOASSERTION279300

react-page

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

Language:TypeScriptMIT942300

detekt

Static code analysis for Kotlin

Language:KotlinApache-2.0613400

kotlin

The Kotlin Programming Language.

Language:Kotlin4838100

fzf

:cherry_blossom: A command-line fuzzy finder

Language:GoMIT6235500

lumina

Lumina Desktop Environment

Language:C++BSD-3-Clause52800

FuncShell

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

Language:HaskellMIT29100

cloc

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

Language:PerlGPL-2.01897000

ansible

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 cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.

Language:PythonGPL-3.06184600

exwm

Emacs X Window Manager

deep-photo-styletransfer

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

Language:Matlab998400

aeneas

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

Language:PythonAGPL-3.0244700

gravity

Gravity Programming Language

Language:CMIT428100

AtomOS

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

Language:C#BSD-3-Clause126100

pasv

The Pascal-F Verifier

Language:Common Lisp4600

alacritty

A cross-platform, OpenGL terminal emulator.

Language:RustApache-2.05473800

jnlp-servlet

JNLPDownloadServlet - with fixes (connections leak fix)

Language:Java200