Giters
alvg

alvg

Geek Repo

5

followers

2

following

337

stars

Github PK Tool:Github PK Tool

alvg's starred repositories

boogie

Boogie

Language:BoogieLicense:MITStargazers:496Issues:0Issues:0

guardian-agent

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

Language:GoLicense:BSD-3-ClauseStargazers:435Issues:0Issues:0

dotfiles

Language:ShellLicense:MITStargazers:11Issues:0Issues:0

lsp

Language Server Protocol (LSP) plugin for Vim9

Language:Vim ScriptLicense:MITStargazers:450Issues:0Issues:0

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:0Issues:0

tw-updater-plasmoid

KDE Plasmoid software updater for openSUSE Tumbleweed

Language:C++License:GPL-2.0Stargazers:12Issues:0Issues:0

discovery

Discover the world of microcontrollers through Rust!

Language:RustLicense:Apache-2.0Stargazers:1454Issues:0Issues:0

cbindgen

A project for generating C bindings from Rust code

Language:RustLicense:MPL-2.0Stargazers:2301Issues:0Issues:0

WasmExplorer

Language:WebAssemblyStargazers:333Issues:0Issues:0

hypervisor

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

Language:C++License:NOASSERTIONStargazers:1338Issues:0Issues:0

mkcast

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

Language:PythonLicense:NOASSERTIONStargazers:3116Issues:0Issues:0

wiki-server

Federated Wiki client and server in Node.js

Language:CoffeeScriptLicense:NOASSERTIONStargazers:153Issues:0Issues:0

phantomjs

Scriptable Headless Browser

Language:C++License:BSD-3-ClauseStargazers:29444Issues:0Issues:0

rt0

A minimal C runtime for Linux i386 & x86_64

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

martini

Classy web framework for Go

Language:GoLicense:MITStargazers:11633Issues:0Issues:0

cli

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

Language:GoLicense:MITStargazers:22033Issues:0Issues:0

exercises-in-programming-style

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

Language:PythonLicense:MITStargazers:2006Issues:0Issues:0

markov

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

Language:C++Stargazers:90Issues:0Issues:0

comcast

Simulating shitty network connections so you can build better systems.

Language:GoLicense:Apache-2.0Stargazers:10276Issues:0Issues:0

ArnoldC

Arnold Schwarzenegger based programming language

Language:ScalaLicense:Apache-2.0Stargazers:6716Issues:0Issues:0

lib43

portable libc optimized for code size and readability

Language:CLicense:MITStargazers:80Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1839Issues:0Issues:0

clasp

clasp Common Lisp environment

Language:Common LispStargazers:2553Issues:0Issues:0

openworm_docs

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

Language:PythonStargazers:43Issues:0Issues:0

nsq

A realtime distributed messaging platform

Language:GoLicense:MITStargazers:24782Issues:0Issues:0

cucumber-ruby

Cucumber for Ruby. It's amazing!

Language:RubyLicense:MITStargazers:5172Issues:0Issues:0

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:0Issues:0

rimrafall

npm install could be dangerous

Language:JavaScriptStargazers:166Issues:0Issues:0

rcm

rc file (dotfile) management

Language:PerlLicense:BSD-3-ClauseStargazers:3111Issues:0Issues:0

til

Today I Learned

Stargazers:3936Issues:0Issues:0