motet-a

motet-a's Stars

• scottbez1/smartknob

  Haptic input knob with software-defined endstops and virtual detents

  Language:C++19.3k1.1k

• niw/HapticKey

  A simple utility application to trigger haptic feedback when tapping Touch Bar.

  Language:Objective-C1.6k62

• ponylang/ponyc

  Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  Language:C5.7k415

• WiseLibs/better-sqlite3

  The fastest and simplest library for SQLite3 in Node.js.

  Language:C++5.5k394

• htop-dev/htop

  htop - an interactive process viewer

  Language:C6.5k440

• tessalt/echo-chamber-js

  Commenting without the comments

  Language:JavaScript4.1k98

• hwayne/alloydocs

  Proposed documentation for alloytools.org

  Language:Python6916

• aaronjanse/dns-over-wikipedia

  Redirect `.idk` domains using Wikipedia

  Language:Rust1.5k21

• libressl/portable

  LibreSSL Portable itself. This includes the build scaffold and compatibility layer that builds portable LibreSSL from the OpenBSD source code. Pull requests or patches sent to tech@openbsd.org are welcome.

  Language:C1.4k265

• nickmqb/muon

  Modern low-level programming language

  Language:C77225

• skeeto/pdjson

  C JSON parser library that doesn't suck

  Language:C28136

• kokke/tiny-bignum-c

  Small portable multiple-precision unsigned integer arithmetic in C

  Language:C42685

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML9k1.1k

• presidentbeef/brat

  Brat is a little language for people who don't like to be told what to do.

  Language:C936

• AlloyTools/org.alloytools.alloy

  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

  Language:Java723122

• wee-slack/wee-slack

  A WeeChat script for Slack.com. Supports threads and reactions, synchronizes read markers, provides typing notification, etc..

  Language:Python2.5k226

• FoxDotBuild/woof-alert

  A dog collar that converts barks to emails.

  Language:C++552

• BurntSushi/ripgrep

  ripgrep recursively searches directories for a regex pattern while respecting your gitignore

  Language:Rust48.8k2k

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k229

• hauxir/imgpush

  Minimalist Self-hosted Image Service for user submitted images in your app

  Language:Python29945

• toothbrush/debounce-mac

  Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.

  Language:Objective-C16930

• creachadair/imath

  Arbitrary precision integer and rational arithmetic library

  Language:C13120

• J-F-Liu/pom

  PEG parser combinators using operator overloading without macros.

  Language:Rust50031

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.4k470

• babel/babel

  🐠 Babel is a compiler for writing next generation JavaScript.

  Language:TypeScript43.2k5.6k

• withoutboats/notty

  A new kind of terminal

  Language:Rust2.3k41

• skeeto/ptrace-examples

  Examples for Linux ptrace(2)

  Language:C13629

• dagrejs/dagre

  Directed graph layout for JavaScript

  Language:JavaScript4.7k605

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog65062

• crev-dev/cargo-crev

  A cryptographically verifiable code review system for the cargo (Rust) package manager.

  Language:Rust2.1k90