Giters
alvg

alvg

Geek Repo

5

followers

2

following

337

stars

Github PK Tool:Github PK Tool

alvg's starred repositories

phantomjs

Scriptable Headless Browser

Language:C++License:BSD-3-ClauseStargazers:29444Issues:1124Issues:4745

nsq

A realtime distributed messaging platform

Language:GoLicense:MITStargazers:24781Issues:844Issues:651

cli

A simple, fast, and fun package for building command line apps in Go

Language:GoLicense:MITStargazers:22033Issues:300Issues:823

martini

Classy web framework for Go

Language:GoLicense:MITStargazers:11633Issues:509Issues:222

xournalpp

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

Language:C++License:GPL-2.0Stargazers:10691Issues:103Issues:3321

comcast

Simulating shitty network connections so you can build better systems.

Language:GoLicense:Apache-2.0Stargazers:10276Issues:160Issues:47

ArnoldC

Arnold Schwarzenegger based programming language

Language:ScalaLicense:Apache-2.0Stargazers:6716Issues:177Issues:97

cucumber-ruby

Cucumber for Ruby. It's amazing!

Language:RubyLicense:MITStargazers:5172Issues:239Issues:792

til

Today I Learned

Stargazers:3936Issues:419Issues:0

mkcast

[OBSOLETE - see readme] A tool for creating GIF screencasts of a terminal, with key presses overlaid.

Language:PythonLicense:NOASSERTIONStargazers:3116Issues:53Issues:18

rcm

rc file (dotfile) management

Language:PerlLicense:BSD-3-ClauseStargazers:3111Issues:72Issues:160

clasp

clasp Common Lisp environment

Language:Common LispStargazers:2553Issues:99Issues:814

cbindgen

A project for generating C bindings from Rust code

Language:RustLicense:MPL-2.0Stargazers:2301Issues:34Issues:537

SpecFlow

#1 .NET BDD Framework. SpecFlow automates your testing & works with your existing code. Find Bugs before they happen. Behavior Driven Development helps developers, testers, and business representatives to get a better understanding of their collaboration

Language:C#License:NOASSERTIONStargazers:2228Issues:149Issues:1798

exercises-in-programming-style

Comprehensive collection of programming styles using a simple computational task, term frequency

Language:PythonLicense:MITStargazers:2006Issues:88Issues:14

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1839Issues:64Issues:277

discovery

Discover the world of microcontrollers through Rust!

Language:RustLicense:Apache-2.0Stargazers:1453Issues:47Issues:242

hypervisor

lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI

Language:C++License:NOASSERTIONStargazers:1338Issues:68Issues:341

rt0

A minimal C runtime for Linux i386 & x86_64

Language:CLicense:BSD-2-ClauseStargazers:580Issues:21Issues:2

boogie

Boogie

Language:BoogieLicense:MITStargazers:496Issues:31Issues:266

lsp

Language Server Protocol (LSP) plugin for Vim9

Language:Vim ScriptLicense:MITStargazers:445Issues:7Issues:235

guardian-agent

[beta] Guardian Agent: secure ssh-agent forwarding for Mosh and SSH

Language:GoLicense:BSD-3-ClauseStargazers:435Issues:21Issues:29

WasmExplorer

Language:WebAssemblyStargazers:333Issues:17Issues:20

rimrafall

npm install could be dangerous

Language:JavaScriptStargazers:166Issues:2Issues:5

wiki-server

Federated Wiki client and server in Node.js

Language:CoffeeScriptLicense:NOASSERTIONStargazers:153Issues:27Issues:60

markov

A compact C++ library for easily simulating common Markov processes.

Language:C++Stargazers:90Issues:7Issues:2

lib43

portable libc optimized for code size and readability

Language:CLicense:MITStargazers:80Issues:6Issues:20

openworm_docs

Documentation for OpenWorm, i.e. docs.openworm.org

Language:PythonStargazers:43Issues:36Issues:50

tw-updater-plasmoid

KDE Plasmoid software updater for openSUSE Tumbleweed

Language:C++License:GPL-2.0Stargazers:12Issues:1Issues:6

dotfiles

Language:ShellLicense:MITStargazers:11Issues:2Issues:15