jensengrey's Stars
moon-chilled/Defer
A Defer statement for C
boostcon/cppnow_presentations_2017
Presentation Material for C++Now 2017
sdiehl/wiwinwlh
What I Wish I Knew When Learning Haskell
heathermiller/dist-prog-book
swsnr/mdcat
cat for markdown
thoughtworks/epirust
An agent-based epidemiology simulation framework built in Rust
xacrimon/dashmap
Blazing fast concurrent HashMap for Rust.
csvoss/onelinerizer
Shamelessly convert any Python 2 script into a terrible single line of code
coder/code-server
VS Code in the browser
Nemo157/embrio-rs
google/cel-spec
Common Expression Language -- specification and binary representation
GoogleCloudPlatform/compute-virtual-ethernet-linux
Compute Engine Virtual Ethernet Linux driver.
lrs-lang/lib
An experimental standard library
quickwit-oss/tantivy
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
chrislusf/gleam
Fast, efficient, and scalable distributed map/reduce system, DAG execution, in memory or on disk, written in pure Go, runs standalone or distributedly.
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Viasat/salt
aerospike/act
Aerospike Certification Tool
revec/llvm-revec
Revectorization passes integrated into the LLVM compiler infrastructure
maplant/al-jabr
Extremely generic linear algebra libary for Rust
oracle/railcar
RailCar: Rust implementation of the Open Containers Initiative oci-runtime
riscv/riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension
google/zetasql
ZetaSQL - Analyzer Framework for SQL
unbalancedparentheses/spawnedshelter
:blue_book: Erlang Spawned Shelter. Erlang and Elixir training with the best articles, videos, books and talks🎓
kerl/kerl
Easy building and installing of Erlang/OTP instances
faiface/funky
the best functional language ever
ivanceras/svgbob
Convert your ascii diagram scribbles into happy little SVG
hofstadter-io/self-driving-desktop
Desktop Automation Framework. Drive your mouse and keyboard with an easy to use language.
google/neural-logic-machines
Implementation for the Neural Logic Machines (NLM).
servo/pathfinder
A fast, practical GPU rasterizer for fonts and vector graphics