Vladimir Terekhov's starred repositories

racket

The Racket repository

Language:RacketLicense:NOASSERTIONStargazers:4743Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6920Issues:0Issues:0

neut

A dependently-typed programming language with static memory management

Language:HaskellLicense:MITStargazers:831Issues:0Issues:0

plzoo

Programming Languages Zoo

Language:OCamlLicense:MITStargazers:1441Issues:0Issues:0

servasm

X86_64 Linux webserver in assembler

Language:AssemblyStargazers:106Issues:0Issues:0

sc_radio

SuperCollider Internet Radio Station

Language:DockerfileStargazers:76Issues:0Issues:0

sketch-grid-master

Grid Master is a Sketch plugin that fixes long-standing bugs and adds new functionaity related on work with Grid and Layout.

Language:JavaScriptStargazers:65Issues:0Issues:0

monoid

Customisable coding font with alternates, ligatures and contextual positioning. Crazy crisp at 12px/9pt. http://larsenwork.com/monoid/

Language:PythonStargazers:7852Issues:0Issues:0

runtime

[not maintained] Lightweight JavaScript library operating system for the cloud

Language:C++License:Apache-2.0Stargazers:1928Issues:0Issues:0

activemeta

ActiveMeta provides a simple DSL to define model properties outside model files

Language:RubyLicense:MITStargazers:7Issues:0Issues:0

mruby

Lightweight Ruby

Language:CLicense:MITStargazers:5277Issues:0Issues:0

axeos

simple single user OS for x86 real mode

Language:AssemblyLicense:UnlicenseStargazers:3Issues:0Issues:0

HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Language:Standard MLLicense:NOASSERTIONStargazers:612Issues:0Issues:0

torrent

Full-featured BitTorrent client package and utilities

Language:GoLicense:MPL-2.0Stargazers:5418Issues:0Issues:0

clmtrackr

Javascript library for precise tracking of facial features via Constrained Local Models

Language:JavaScriptLicense:MITStargazers:6499Issues:0Issues:0

clmtools

tools for building face-models for clmtrackr

Language:JavaScriptStargazers:145Issues:0Issues:0

dash.el

A modern list library for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:1649Issues:0Issues:0

shadertoy

GLSL Shader sandbox for iPad - using glslsandbox.com shaders

Language:Objective-CStargazers:10Issues:0Issues:0

jq

Command-line JSON processor

Language:CLicense:NOASSERTIONStargazers:29736Issues:0Issues:0

anki

Anki's shared backend and web components, and the Qt frontend

Language:RustLicense:NOASSERTIONStargazers:17949Issues:0Issues:0

keepassc

KeePassC is a curses-based password manager compatible to KeePass v.1.x and KeePassX

Language:PythonLicense:ISCStargazers:312Issues:0Issues:0

dashing

The exceptionally handsome dashboard framework in Ruby and Coffeescript.

Language:JavaScriptLicense:MITStargazers:10988Issues:0Issues:0

hubot-xmpp

XMPP adapter for Hubot

Language:CoffeeScriptStargazers:1Issues:0Issues:0

grc

Mirror of Radovan GarabĂ­k's - Generic Colourizer for terminal apps

Language:JavaScriptLicense:NOASSERTIONStargazers:135Issues:0Issues:0

bootstrap-datepicker

A datepicker for twitter bootstrap (@twbs)

Language:JavaScriptLicense:Apache-2.0Stargazers:12657Issues:0Issues:0
Language:RubyStargazers:1Issues:0Issues:0

fastclick

Polyfill to remove click delays on browsers with touch UIs

Language:HTMLLicense:MITStargazers:18672Issues:0Issues:0

hubot-xmpp

XMPP adapter for Hubot

Language:JavaScriptStargazers:180Issues:0Issues:0

gitlabhq

GitLab CE Mirror | Please open new issues in our issue tracker on GitLab.com

Language:RubyLicense:NOASSERTIONStargazers:23695Issues:0Issues:0

uemacs

uEmacs/Pk with minor changes

Language:CStargazers:7Issues:0Issues:0