-
ioc-clang ⑂
Staging area for work on Integer Overflow Checker (IOC), a clang extension that provides compiler flags to insert check for various sources of integer-related numerical errors, such as use of undefined behavior. Requires corresponding ioc-compiler-rt (https://github.com/dtzWill/ioc-compiler-rt). Rebased on top of upstream periodically.
C++ ★ 22 13y agoExplain → -
nur-packages
No description.
Nix ★ 11 3y agoExplain → -
vmkit
VM framework using LLVM by Nicolas Geoffray, including a functional JVM. 'master' tracks official SVN, other branches are my own development.
Java ★ 10 14y agoExplain → -
xserver_webos
X11 for webOS (in a card)
C ★ 8 14y agoExplain → -
ipcopter
IPC Optimization Research Implementation
C++ ★ 7 11y agoExplain → -
wdtz
Pelican source for https://wdtz.org
Python ★ 7 4y agoExplain → -
xkcd-hash
Code for xkcd hash competition
C ★ 4 13y agoExplain → -
efi-same
Utility for EFI systems that causes next boot to use same entry as one used for current system. Useful for multi-boot systems or testing kernels on EFI-based systems.
C ★ 3 10y agoExplain → -
supernes
SuperNES Emulator for WebOS
C++ ★ 3 14y agoExplain → -
gtod-shim
Shim library for gettimeofday() for testing and exposing time-related bugs.
C++ ★ 3 13y agoExplain → -
circt ⑂
Circuit IR Compilers and Tools
★ 2 4y agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 2 1y agoExplain → -
vba_webos
VisualBoyAdvance for WebOS
C++ ★ 2 15y agoExplain → -
ioc-compiler-rt ⑂
Extension of LLVM's compiler-rt, providing the runtime components used by IOC (https://github.com/dtzWill/ioc-clang). Rebased on top of upstream changes periodically.
C ★ 2 13y agoExplain → -
home-manager ⑂
Manage a user environment using Nix
Nix ★ 1 2y agoExplain → -
ecosoc
Automatically exported from code.google.com/p/ecosoc
C++ ★ 1 10y agoExplain → -
libedit-releases
Collection of libedit releases from upstream tarballs. Each release is imported as a tag for easy comparison of versions and browsing.
Shell ★ 1 3y agoExplain → -
whatstyle ⑂
whatstyle finds a code format style that fits given source files
Python ★ 1 7y agoExplain → -
vit ⑂
VIT is a lightweight, fast, curses-based front end to Taskwarrior
Perl ★ 1 7y agoExplain → -
enamel ⑂
An email client with notmuch rust
Rust ★ 1 6y agoExplain → -
ayu-vim ⑂
Modern theme for modern VIMs
Vim script ★ 1 6y agoExplain → -
nixops ⑂
NixOps, the NixOS-based cloud deployment tool
Python ★ 1 6y agoExplain → -
iftop
iftop releases, copy of https://code.blinkace.com/pdw/iftop.git w/o ssl cert expiration
C ★ 1 6y agoExplain → -
rofi-tab-switcher ⑂
A rofi-based tab switcher for Firefox.
Python ★ 1 6y agoExplain → -
systemd ⑂
⚙️ 🐧 systemd System and Service Manager
C ★ 1 6y agoExplain → -
focal ⑂
Calendar application for Linux with CalDAV
C ★ 1 6y agoExplain → -
awesome-vim-colorschemes ⑂
Collection of awesome color schemes for Neo/vim, merged for quick use.
Vim script ★ 1 6y agoExplain → -
spectral
A glossy cross-platform Matrix client. Forked for hacking on, active upstream: https://gitlab.com/spectral-im/spectral
C++ ★ 1 6y agoExplain → -
luarocks ⑂
LuaRocks is a package manager for Lua modules.
Lua ★ 1 6y agoExplain → -
libfido2 ⑂
Provides library functionality for FIDO 2.0, including communication with a device over USB.
★ 1 6y agoExplain → -
purebred ⑂
A terminal based mail user agent based on notmuch
Haskell ★ 1 6y agoExplain → -
musl
Temporary musl fork
C ★ 1 6y agoExplain → -
compton ⑂
A compositor for X11
C ★ 1 6y agoExplain → -
rpc-wine ⑂
discord-rpc.dll implementation for Wine allowing your Wine games to interact with your native Discord instance
C++ ★ 1 6y agoExplain → -
bower ⑂
A curses terminal client for the Notmuch email system
Mercury ★ 1 5y agoExplain → -
nix ⑂
Nix, the purely functional package manager
C++ ★ 1 4y agoExplain → -
numatop ⑂
NumaTOP is an observation tool for runtime memory locality characterization and analysis of processes and threads running on a NUMA system.
★ 1 4y agoExplain → -
BibLatex-Check ⑂
A python script for checking BibLatex .bib files for common referencing mistakes!
★ 1 4y agoExplain → -
z.lua ⑂
A new cd command that helps you navigate faster by learning your habits :zap:
Lua ★ 1 4y agoExplain → -
ccls ⑂
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
★ 1 4y agoExplain → -
pxz ⑂
Parallel LZMA compressor using liblzma
★ 1 4y agoExplain → -
vte-sixel-ng ⑂
vte-sixel + "ng" patches for termite.
C++ ★ 1 7y agoExplain → -
nix-proot-quickstart
Easily use 'nix' via proot, just run 'enter-nix.sh'.
Shell ★ 1 10y agoExplain → -
rfcs ⑂
The Nix community RFCs
★ 1 8y agoExplain → -
uiuc-jenkins-docker-slave
Dockerfile for generating jenkins slave for my research group.
Shell ★ 1 11y agoExplain → -
woce-build ⑂
woce-build
Python ★ 1 14y agoExplain → -
poolalloc-3.1-UPSTREAMED ⑂
3.1-ified poolalloc. Will be deleted once 3.1 poolalloc hits SVN trunk.
C++ ★ 1 14y agoExplain → -
LunaSysMgr ⑂
No description.
C++ ★ 1 14y agoExplain → -
clang_complete ⑂
Vim plugin that use clang for completing C/C++ code.
Python ★ 1 14y agoExplain → -
wTerm ⑂
Terminal Emulator for webOS
C ★ 1 14y agoExplain → -
xecutah ⑂
Xecutah allows you to start an X Windows System server in a webOS card, and run other X applications on that server. This app is available for all webOS devices and all webOS versions.
JavaScript ★ 1 14y agoExplain → -
ProcDump-for-Linux ⑂
A Linux version of the ProcDump Sysinternals tool
C ★ 0 7y agoExplain → -
nix-bundle ⑂
Bundle Nix derivations to run anywhere!
Shell ★ 0 8y agoExplain → -
aarch64-build-box ⑂
Config for the Community aarch64 NixOS box.
Nix ★ 0 8y agoExplain → -
reftype-inputs
FIRRTL RefType test input collection (messy/WIP)
★ 0 3y agoExplain → -
tor-browser ⑂ ▣
tor-browser with less "features"
★ 0 7y agoExplain → -
slang ⑂
SystemVerilog compiler and language services
★ 0 3y agoExplain → -
haste-server ⑂
Customizations made to seejohnrun/haste-server
JavaScript ★ 0 11y agoExplain → -
cutter ⑂
A Qt and C++ GUI for radare2 reverse engineering framework
C++ ★ 0 8y agoExplain → -
nixos-musl-bootstrap-bits
Nixpkgs/NixOS bootstrap bundles for musl builds
★ 0 7y agoExplain → -
editline ⑂
A readline() replacement for UNIX without termcap (ncurses)
C ★ 0 7y agoExplain → -
awesome ⑂
awesome window manager
Lua ★ 0 7y agoExplain → -
vimcolors ⑂
VIM color scheme pack featuring all the themes listed on vimcolors.com
Vim script ★ 0 7y agoExplain → -
wdtz-files
Misc files expected to be avail from wdtz.org/files/
★ 0 7y agoExplain → -
NetworkManager ⑂
Mirror of the freedesktop.org repository. Feel free to do the pull requests!
C ★ 0 7y agoExplain → -
nix-review ⑂
Review pull-requests on https://github.com/NixOS/nixpkgs
Python ★ 0 7y agoExplain → -
libbeauty ⑂
Decompiler and Reverse Engineering tool
C ★ 0 9y agoExplain → -
tootle ⑂
GTK3 client for Mastodon
Vala ★ 0 7y agoExplain → -
xlayoutdisplay ⑂
Detects and arranges linux display outputs, using XRandR for detection and xrandr for arrangement.
C++ ★ 0 7y agoExplain → -
alot ⑂
Terminal-based Mail User Agent
Python ★ 0 7y agoExplain → -
dwarf-type-reader
Reading type information from debug info section of executable
C++ ★ 0 9y agoExplain → -
cc-wrapper ⑂
No description.
C ★ 0 8y agoExplain → -
haxor-news ⑂
Browse Hacker News like a haxor: A Hacker News command line interface (CLI).
Python ★ 0 7y agoExplain → -
chelf ⑂
change or display the stack size of an ELF binary
C ★ 0 7y agoExplain → -
qemu
No description.
C ★ 0 7y agoExplain → -
libinput-gestures ⑂
Actions gestures on your touchpad using libinput
Python ★ 0 7y agoExplain → -
httplib2 ⑂
Small, fast HTTP client library for Python. Features persistent connections, cache, and Google App Engine support. Originally written by Joe Gregorio, now supported by community.
Python ★ 0 7y agoExplain → -
patchelf ⑂
A small utility to modify the dynamic linker and RPATH of ELF executables
C ★ 0 7y agoExplain → -
dwarffs ⑂
A FUSE filesystem that allows tools like gdb to look up debug info files via HTTP
C++ ★ 0 7y agoExplain → -
nur-combined ⑂
A repository of NUR that combines all repositories
Nix ★ 0 7y agoExplain → -
nail ⑂
A practical interface generator for data formats.
TeX ★ 0 8y agoExplain → -
qpdfview ⑂
Inofficial mirror
C++ ★ 0 8y agoExplain → -
NUR ⑂
Nix User Repository: User contributed nix packages [maintainer=@Mic92]
Python ★ 0 7y agoExplain → -
gnomecast ⑂
A native Linux Chromecast GUI that supports transcoding, subtitles and 4K!
Python ★ 0 8y agoExplain → -
static-haskell-nix ⑂
Example showing how to link a fully static Haskell binary with nix and musl; originally a fork of https://github.com/vaibhavsagar/experiments
Nix ★ 0 8y agoExplain → -
vampire ⑂
The Vampire Theorem Prover
C++ ★ 0 8y agoExplain → -
curl-repro
reproducing libcurl crash
C++ ★ 0 8y agoExplain → -
libgcrypt ⑂
The GNU crypto library
C ★ 0 8y agoExplain → -
curl ⑂
A command line tool and library for transferring data with URL syntax, supporting HTTP, HTTPS, FTP, FTPS, GOPHER, TFTP, SCP, SFTP, SMB, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
C ★ 0 8y agoExplain → -
nfs-utils
nfs-utils + musl fixes
C ★ 0 8y agoExplain → -
nix-travis-test
Testing Using Nix w/Travis
Shell ★ 0 8y agoExplain → -
throw_from_shared
Sample code showing behavior throwing from shared object across toolchains, etc.
Nix ★ 0 8y agoExplain → -
ofborg ⑂
@grahamcofborg tooling automation
Nix ★ 0 8y agoExplain → -
nixpkgs-mozilla ⑂
mozilla related nixpkgs (extends nixos/nixpkgs repo)
Nix ★ 0 8y agoExplain → -
studio ⑂
Studio is a productive environment for working on your programs
Smalltalk ★ 0 8y agoExplain → -
nox ⑂
Tools to make nix nicer to use
Python ★ 0 8y agoExplain → -
gllvm ⑂
wllvm ported to go
Go ★ 0 8y agoExplain → -
psstop ⑂
No description.
C ★ 0 9y agoExplain → -
Sbtix ⑂
Generates Nix definitions for your SBT builds
Nix ★ 0 9y agoExplain → -
bloaty ⑂
Bloaty McBloatface: a size profiler for binaries
C++ ★ 0 9y agoExplain → -
hydra ⑂
Hydra, the Nix-based continuous build system
Perl ★ 0 8y agoExplain → -
llvm ⑂
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
LLVM ★ 0 9y agoExplain → -
dg ⑂
[LLVM Static Slicer] Dependence graph for programs. Generic implementation of dependence graphs with instantiation for LLVM that contains a static slicer for LLVM bitcode
C++ ★ 0 8y agoExplain → -
whole-program-llvm ⑂
A toolkit for building whole-program LLVM bitcode files
Python ★ 0 9y agoExplain → -
nixpkgs-docker
nixpkgs running in a Docker container.
★ 0 9y agoExplain → -
nixpkgs-channels ⑂
Nixpkgs/NixOS branches that track the Nixpkgs/NixOS channels
Nix ★ 0 10y agoExplain → -
SVF ⑂
Static Value-Flow Analysis in LLVM
C ★ 0 9y agoExplain → -
ecosoc.siot
Automatically exported from code.google.com/p/ecosoc.siot
C++ ★ 0 10y agoExplain → -
nestedkernel.github.io ⑂
No description.
CSS ★ 0 11y agoExplain → -
inewsgroup
Automatically exported from code.google.com/p/inewsgroup
C ★ 0 11y agoExplain → -
itouchpad
Automatically exported from code.google.com/p/itouchpad
Objective-C ★ 0 11y agoExplain → -
LINE ⑂
May the LINE be with you...
JavaScript ★ 0 11y agoExplain → -
uiuc-docker-poolalloc
Dockerfile for generating containers with installed copies of ToT LLVM, clang, compiler-rt, and poolalloc. Also used to stay on top of upstream changes that cause breakage in poolalloc.
Shell ★ 0 11y agoExplain → -
docker ⑂
Docker - the Linux container runtime
Go ★ 0 12y agoExplain → -
libdivide ⑂
Official git repository for libdivide: optimized integer division
C++ ★ 0 12y agoExplain → -
prime4commit ⑂
Donate primecoins to open source projects or make commits and get tips for it.
Ruby ★ 0 12y agoExplain → -
taskwarrior-progress ⑂
Progress Reports for TaskWarrior Projects
Ruby ★ 0 12y agoExplain → -
piebot ⑂
A python IRC bot
★ 0 11y agoExplain →
No repos match these filters.