carlocab Goto Github PK

klee.github.io

Website for the KLEE project: https://klee.github.io/

libphonenumber

Google's common Java, C++ and JavaScript library for parsing, formatting, and validating international phone numbers.

linuxbrew-core

🍻🐧 Core formulae for the Homebrew package manager on Linux

lit

Toolkit for developing, sharing, and running luvit/lua programs and libraries.

llvm-distributors-conf-2021

A day of lightning talks for folks who distribute and release builds of LLVM, with a focus on configuration, testing, and unique constraints.

llvm-toolchain-integration-test-suite

An agglomeration of integration tests for the LLVM Toolchain

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

luajit

Mirror of the LuaJIT git repository

luvi

A project in-between luv and luvit.

macos-boost1.75-regex-bug

mdxmini

Simple-to-use C library to play X68000 MDX chiptunes

meson

The Meson Build System

mold

mold: A Modern Linker

mono

Mono open source ECMA CLI, C# and .NET implementation.

neovim

Vim-fork focused on extensibility and usability

pathnames.jl

A Julia package for manipulating paths in the file system

quick-lint-js

quick-lint-js finds bugs in JavaScript programs

ruby-macho

🔩 A pure-Ruby library for parsing Mach-O files.

screen-info

Optimal Screening with Information Acquisition

spksrc

Cross compilation framework to create native packages for the Synology's NAS

stdman

Formatted C++20 stdlib man pages (cppreference)

stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

teleport

Certificate authority and access plane for SSH, Kubernetes, web apps, databases and desktops

tmux-nvr

A tmux plugin for using session-specific Neovim instances with neovim-remote

tmux-sensible

basic tmux settings everyone can agree on

tpm

Tmux Plugin Manager

uprobes.jl

vim-slime

A vim plugin to give you some slime. (Emacs)

watchman

Watches files and records, or triggers actions, when they change.

workflow-test