dbremner

followers

following

stars

Seattle

David Bremner's starred repositories

awesome-mac

 Now we have become very big, Different from the original idea. Collect premium software in various categories.

Language:JavaScriptCC0-1.072252 1484 411

tornado

Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.

Language:PythonApache-2.021560 986 1814

khoj

Your AI second brain. Get answers to your questions, whether they be online or in your own notes. Use online AI models (e.g gpt4) or private, local LLMs (e.g llama3). Self-host locally or use our cloud instance. Access from Obsidian, Emacs, Desktop app, Web or Whatsapp.

Language:PythonAGPL-3.010885 61 393

seastar

High performance server-side application framework

Language:C++Apache-2.08088 397 1187

outlines

Structured Text Generation

Language:PythonApache-2.06336 43 464

sapling

A Scalable, User-Friendly Source Control System.

Language:RustGPL-2.05861 76 434

ugrep

NEW ugrep 6.0: a more powerful, ultra fast, user-friendly, compatible grep. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, searches (nested) archives (zip, 7z, tar, pax, cpio), compressed files (gz, Z, bz2, lzma, xz, lz4, zstd, brotli), pdfs, docs, and more

Language:C++BSD-3-Clause2479 31 315

Beef

Beef Programming Language

Language:C++NOASSERTION2406 53 1638

privaxy

Privaxy is the next generation tracker and advertisement blocker. It blocks ads and trackers by MITMing HTTP(s) traffic.

Language:RustAGPL-3.02286 27 61

codespell

check code for common misspellings

Language:PythonGPL-2.01776 24 480

bde

Basic Development Environment - a set of foundational C++ libraries used at Bloomberg.

Language:C++Apache-2.01632 146 113

hacl-star

HACL*, a formally verified cryptographic library written in F*

Language:F*Apache-2.01595 78 225

ivy

ivy, an APL-like calculator

Language:GoNOASSERTION1306 59 78

bzip3

A better and stronger spiritual successor to BZip2.

Language:CLGPL-3.0652 17 67

ocamlformat

Auto-formatter for OCaml code

Language:OCamlMIT605 20 834

tis-interpreter

An interpreter for finding subtle bugs in programs written in standard C

Language:OCaml564 35 139

sort

Sorting routine implementations in "template" C

Language:CMIT457 25 28

ppx_deriving

Type-driven code generation for OCaml

Language:OCamlMIT447 19 140

libdivsufsort

A lightweight suffix-sorting library

Language:CMIT356 32 21

pareas

GPU-accelerated compiler

Language:Futhark295 6 1

veles

Visual reverse engineering tool.

Language:C++Apache-2.0266 13 3

protodump

A utility to dump all Protobuf file descriptors from a given binary as *.proto files

Language:Go230 6 2

gazebo

A Rust library containing a collection of small well-tested primitives.

Language:RustApache-2.0211 27 3

komihash

Very fast, high-quality hash function, discrete-incremental and streamed hashing-capable (non-cryptographic, inline C/C++) 26GB/s + PRNG

Language:CMIT181 12 5

crowbar

Property fuzzing for OCaml

Language:OCamlMIT180 18 21

cogent

Cogent Project

Language:IsabelleNOASSERTION156 21 278

cm3

Critical Mass Modula-3

Language:CNOASSERTION130 24 153

icnc

Intel(R) Concurrent Collections for C++

Language:C++BSD-3-Clause115 16 20

hakana

Another typechecker for Hack, built by Slack

Language:RustMIT75 110

the-functional-approach-to-programming

Programs that are used in the Cousineau/Mauny books

Language:OCamlGPL-2.029 20