Sem descrição.
Graydon Hoare
@graydon · no GitHub desde jun 2008
Seu GitHub em resumo
17 anos. 616 repositórios. De Emacs Lisp a Rust.
17
anos de atividade
2010 – 2026
616
repositórios públicos
58 próprios · 558 forks
2k
stars nos próprios
top: rust-prehistory ★ 728
2020
ano recorde
105 repositórios criados
- Rust51,9%
- Python13%
- C7,4%
- C++7,4%
- Shell3,7%
- Clojure3,7%
- Outras13%
Conquistas
7 de 9 desbloqueadas · deslize →- Primeiro repojun 2010
- Estreladorepo mais antigo com ★: rust-mode
- 100 starsstxt
- 1.000 stars728 de 1.000 ★(bloqueada)
- Primeiro forkrecebido · 2011
- Poliglota11 linguagens
- Ano recorde2020
- Uma décadadesde 2010
- 50 topics1 de 50(bloqueada)
Linha do tempo
Um quadrado por mês: contribuições públicas no GitHub, incluindo repositórios de organizações.
- 20080 criados
Sem repositórios novos
109 contribuições públicas no ano.
- 20090 criados
Sem repositórios novos
302 contribuições públicas no ano.
- 20101 criado
Entram Emacs Lisp
1 repositório criado. Linguagem predominante: Emacs Lisp (1 de 1). Mais estrelado: rust-mode (★ 16). 1.576 contribuições públicas no ano.
- Emacs Lisp
rust-modemais estrelado - 20110 criados
Sem repositórios novos
854 contribuições públicas no ano.
- 201212 criados
Entram JavaScript
12 repositórios criados (11 forks). Linguagem predominante: JavaScript (1 de 1). Mais estrelado: stxt (★ 104). 743 contribuições públicas no ano.
- JavaScript
stxtmais estrelado sketch of a secure async group communication system
rustfork personal fork for work on rust language
libuvfork platform layer for node.js
llvmfork Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
sjclfork Stanford Javascript Crypto Library
Fomattofork JavaScript string interpolation and formatting.
TextSecurefork A secure text messaging application for Android.
stunserverfork New version 1.1. This is the source code to STUNTMAN - an open source STUN server and client code by john selbie. Compliant with the latest RFCs including 5389, 5769, and 5780. Also includes backwards compatibility for RFC 3489. The stun server code is part of a larger personal project involving P2P file sharing and NAT traversal. Version 1.1 compiles on Linux, MacOS, BSD, and Solaris. Additional features are in development.
webtreemapfork web-based treemap
data_hacksfork Command line utilities for data analysis
VizHash.jsfork A javascript implementation of visual hash using html5 canvas
metafork Val Schorre's META-II
- 201351 criados
Entram Python e Shell
51 repositórios criados (46 forks). Linguagem predominante: Python (3 de 5). Mais estrelado: bors (★ 451). 400 contribuições públicas no ano.
- Python
- Shell
borsmais estrelado Integration robot for buildbot and github
python-sregex mirror of Joe Gregorio's structural regex module for python
triage scripts to help with triage on github
dockerfiles-cm-androidarmv6 Sem descrição.
libsodiumfork P(ortable|ackageable) NaCl
js-naclfork Emscripten-compiled Javascript version of NaCl, the Networking and Cryptography library.
dockerfork Docker - the open-source application container engine
githubpyfork A simple GitHub v3 API SDK for Python
ccanfork The C Code Archive Network
jqfork Command-line JSON processor
dropbox-jsfork JavaScript client library for the Dropbox API
hlldfork A high performance C server for HyperLogLogs
shfork Python process launching
reveal.jsfork The HTML Presentation Framework
simple-statisticsfork simple statistics for javascript in node and the browser
vegafork A visualization grammar.
kfork The K tools
git-annexfork manage large files with git
es6-module-transpilerfork Tomorrow’s JavaScript module syntax today
fpmfork Effing package managers! Build packages for multiple platforms (deb, rpm, etc) with great ease and sanity.
dockerfiles-aosp-build Sem descrição.
go-metricsfork Go port of Coda Hale's Metrics library
peerjs-serverfork Server for PeerJS
webRTCCopyfork A simple file sharing application using webRTC-data.io
isrustfastyetfork Sem descrição.
messageformat.jsfork ICU MessageFormat for Javascript - i18n Plural and Gender Capable Messages
ShareJSfork Collaborative editing in any app
curve25519-donnafork Implementations of a fast Elliptic-curve Diffie-Hellman primitive
pmu-toolsfork Intel PMU profiling tools
rparsefork Parser combinator library written using the Rust language
stafork Fast(er) statistics from the command line.
psutilfork mirror of http://code.google.com/p/psutil/
revctrl.orgfork An extract, as complete as I can make it, of content from the revctrl.org wiki
freightfork A modern take on the Debian archive.
dtrace-cloud-toolsfork Some DTrace tools written for the SmartOS/SmartDataCenter cloud (illumos-based)
wsshfork SSH to WebSockets Bridge
log-ninjafork A set of scripts I find useful when analysing log files
rustfindfork search tool for rust sourcecode based on libsyntax
webRTC-data.iofork A branch of https://github.com/webRTC to support data-only connections
nanopassfork A nanopass scheme compiler in scheme for x86.
libusdtfork Create DTrace probes at runtime
json11fork json11 C++11 JSON library
pifsfork πfs - the data-free filesystem!
qc.rsfork quickcheck for Rust
rust-antlrfork An ANTLR grammar for Rust
sregexfork Structural regular expressions in C#.
sregexpfork Structural Regular Expressions in Haskell with Attoparsec
curve255jsfork A javascript implementation of the Curve25519 elliptic cryptography function by Daniel J. Bernstein
distributionfork Short, simple, direct scripts for creating ASCII graphical histograms in the terminal.
build-mozharnessfork Sem descrição.
browserify-grunt-mocha-templatefork Sem descrição.
- 201442 criados
Entram C e C++
42 repositórios criados (39 forks). Linguagem predominante: C (1 de 3). Mais estrelado: monotone (★ 82). 681 contribuições públicas no ano.
- C
- C++
monotonemais estrelado distributed revision control system -- historical snapshot
country-bounding-boxes Bounding boxes and misc info for countries
papers-we-lovefork Papers from the computer science community to read and discuss.
natural-earth-vectorfork A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
es4fork snapshot of the abandoned ES4 reference implementation
stellardfork Server in the Stellar network. Maintains the distributed ledger. Introduces and validates transactions.
Probabilistic-Programming-and-Bayesian-Methods-for-Hackersfork aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
ripplefork Go packages to interact with the Ripple protocol
decimal.jsfork An arbitrary-precision Decimal type for JavaScript
juliafork The Julia Language: A fresh approach to technical computing.
rtagsfork A c/c++ client/server indexer with for integration with emacs based on clang.
llvm-late-safepoint-placementfork A proof of concept implementation of proposed support for precise relocating garbage collection in LLVM
stellar-core-old Sem descrição.
irken-compilerfork Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
Catchfork A modern, C++-native, header-only, framework for unit-tests, TDD and BDD
cppformatfork Small, safe and fast formatting library for C++
wgetfork git://git.sv.gnu.org/wget.git
busyboxfork git://busybox.net/busybox.git
statsitefork C implementation of statsd
8086tinyfork Official repository for 8086tiny: a tiny PC emulator/virtual machine
pgwebfork Web-based PostgreSQL database browser
osxcrossfork OS X cross toolchain for Linux, FreeBSD and NetBSD
ichnaeafork Ichnaea / location.services.mozilla.com
cockroachfork A Scalable, Geo-Replicated, Transactional Datastore
cryptolfork Cryptol: The Language of Cryptography
newsqueakfork squint - Rob Pike's Newsqueak interpreter for Unix
lpegfork Pattern-matching library for Lua, based on Parsing Expression Grammars
patchfork git://git.savannah.gnu.org/patch.git
heka-pyfork Heka Python Library
OpenSpritz-Androidfork OpenSpritz concept for Android.
speedreadfork A simple terminal-based open source Spritz-alike (per-word RSVP aligned on optimal reading points)
coreutilsfork Cross-platform Rust rewrite of the GNU coreutils
flatbuffersfork Memory Efficient Serialization Library
rust-curve41417fork A pure-Rust implementation of Curve41417
mirrorfork The mirrorer for this organisation (run at 00:00 CET)
metricsdfork A metrics aggregator for Graphite
autocheckfork QuickCheck and SmallCheck clones for C++
metricsfork Haskell metrics library
emacs-howdoifork Emacs interface to the `howdoi` command line tool (https://github.com/gleitz/howdoi)
CppQuickCheckfork QuickCheck-like property based automated testing tool for C++
oberon-risc-emufork Emulator for the Oberon RISC machine
c4fork C in four functions
- 201555 criados
Entram Clojure, Rust e C#
55 repositórios criados (47 forks). Linguagem predominante: Clojure (2 de 8). Mais estrelado: z3-rs (★ 25). 1.826 contribuições públicas no ano.
- Clojure
- Rust
- C#
z3-rsmais estrelado Sem descrição.
z3-sys Low-level rust bindings to the Z3 SMT solver
stellar-corefork distributed transaction processor
gophernicus Gophernicus - a modern full-featured (and hopefully) secure gopher daemon
cat-wiki mirror of the cat-language wiki https://code.google.com/p/cat-language/w/list
cat git mirror of the cat-language repo https://code.google.com/p/cat-language
clojure-stellar-base clojure code for talking to stellar-core
libbffork Bloom filters for C++11
jepsen-stellar-core Sem descrição.
free-programming-booksfork freely available books
millerfork Miller is like sed, awk, cut, join, and sort for name-indexed data such as CSV
kcovfork Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options
uBlockfork uBlock - An efficient blocker for Chromium, Firefox, and Safari. Fast and lean.
travis-test Sem descrição.
ohmfork A library and language for parsing and pattern matching.
websocketdfork Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.
JAWSfork JAWS: The Javascript + AWS Stack – A monstrously scalable, server-free, web application boilerplate using bleeding-edge AWS services...
echo-chamber-jsfork Commenting without the comments
hypothesisfork Hypothesis is an advanced Quickcheck style testing library for Python
tavorfork A generic fuzzing and delta-debugging framework
pflaskfork :package: Tool for creating Linux namespace containers
lalrpopfork LR(1) parser generator for Rust
fbuildfork A cross platform, high performant caching build system
git-timemachinefork Step through historic versions of git controlled file using everyone's favourite editor
ed25519fork Optimized version of the reference implementation of Ed25519
scponlyfork The scponly pseudo-shell provides a file-transfer only shell for *Nix systems with optional support for using a chrooted environment.
docker-stellar-core-statefork A state container for stellar-core. Bundles postgres with on-disk bucket storage.
Carrotfork Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
docker-atlasfork SDF's docker container for Netflix's Atlas monitoring tool.
PatternDispatch.jlfork Method dispatch based on pattern matching for Julia
Elymasfork A programming language I can like. Unholy and full of magic.
frelinkfork Undelete open files and loop mounts ("improved" version of fdlink)
crowfork Crow is very fast and easy to use C++ micro web framework (inspired by Python Flask)
listsfork The definitive list of lists (of lists) curated on GitHub
cpp-lru-cachefork Simple and reliable LRU cache for c++ based on hashmap and linkedlist
type-systemsfork Implementations of various type systems in OCaml.
ruby-stellar-basefork The stellar-base library is the lowest-level stellar helper library. It consists of classes to read, write, hash, and sign the xdr structures that are used in stellard.
stellar_core_commanderfork A system of creating isolated Stellar test networks into which you can play transactions and record results.
stfork simple statistics from the command line
qstatsfork Quick and dirty statistics tool for the UNIX pipeline
docker-stellar-corefork Dockerfile for stellar-core containers
fulltracefork A complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux
reflectfork A simple C++11 reflection/serialization framework.
nqfork Unix command line queue utility
xdrgenfork A code generator for XDR
epoll_windowsfork epoll on windows !!! work in progress
hs-scrapsfork Scrap modules - random bits and bobs
erpcgenfork RPC/XDR protocol compiler (from jungerl)
xdrfork GHC 7.4 compatible XDR encoder and decoder
xdr-1fork XDR code generator with backends for various languages
plexfork a parser and lexer generator as a Rust syntax extension
stellar_history_syncfork Some files may be missed in certain history archive, here is a tool to check integrity and fetch up files by comparing between archives
epaxosfork Sem descrição.
xdrppfork Sem descrição.
rlibcfork Sem descrição.
- 201641 criados
Consolidação em C
41 repositórios criados (40 forks). Linguagem predominante: C (1 de 1). Mais estrelado: rust-prehistory (★ 728). 228 contribuições públicas no ano.
rust-prehistorymais estrelado historical archive of rust pre-publication development
swiftfork The Swift Programming Language
boogiefork Boogie
fmtfork framework for formal models and transformations
presentationsfork Conference Talks and Proposals
awesome-cpusfork All CPU and MCU documentation in one place
xdeltafork open-source binary diff, delta/differential compression tools, VCDIFF/RFC 3284 delta compression
liquidhaskellfork Liquid Types For Haskell
sbvfork SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
verifastfork Research prototype tool for modular formal verification of C and Java programs
ltsminfork The LTSmin model checking toolset
swift-1fork the multiparty transport protocol (aka "TCP with swarming" or "BitTorrent at the transport layer")
swift-evolutionfork This maintains proposals for changes and user-visible enhancements to the Swift Programming Language.
ChezSchemefork Chez Scheme
Insanityfork A tool that brings meta-programming to Swift, allowing you to code generate Swift code.
minisat-rustfork Experimental minisat SAT solver reimplementation in Rust
picrinfork lightweight scheme interpreter
sv-benchmarksfork Sem descrição.
smackfork SMACK Software Verifier And Verification Toolchain
swift-llvmfork Sem descrição.
keccak-tinyfork A tiny implementation of SHA-3, SHAKE, Keccak, and sha3sum
rust-cryptofork A (mostly) pure-Rust implementation of various cryptographic algorithms.
sylvanfork Multi-core Decision Diagram (BDD/LDD) implementation
swift-clangfork Sem descrição.
ed448-goldilocksfork Mirror of http://sourceforge.net/p/ed448goldilocks/code/ci/master/tree/
unionfs-fusefork union filesystem using fuse
frapfork Formal Reasoning About Programs
datafunfork Research on integrating datalog & lambda calculus via monotonicity types
parquet-cppfork Mirror of Apache Parquet
rfmtfork R source code formatter
LSTM-Composerfork LSTM network for algorithmic music composition
marshallfork Real number computation software
tool_listsfork Links to tools by subject
IC3reffork IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
awesome-cfork A curated list of awesome C frameworks, libraries and software.
go-xdrfork Implements the XDR standard as specified in RFC 4506 in pure Google Go (Golang)
curve25519-dalekfork A low-level cryptographic library for point, group, field, and scalar operations on a curve isomorphic to the twisted Edwards curve defined by -x²+y² = 1 - 121665/121666 x²y² over GF(2²⁵⁵ - 19).
iimcfork Sem descrição.
rust-everywherefork Use CI services to generate binary releases of your Rust program for Linux, Mac and Windows
regexpanalyserfork Lattice valued regular expressions and an example analysis
jojodifffork Sem descrição.
- 201750 criados
Entram HTML
50 repositórios criados (48 forks). Linguagem predominante: Rust (1 de 2). Mais estrelado: esobsc (★ 1). 651 contribuições públicas no ano.
- HTML
esobscmais estrelado Esoteric ␣;
VSTfork Verified Software Toolchain
Omfork The Om programming language.
catapultfork Catapult
kind2fork Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
automatarkfork Benchmark problems for different models of automata, transducers, and related logics
software-foundationsfork Mirror of “Software Foundations”, by Benjamin Pierce et al.
InKafork InKa - an inductive theorem prover
picsfork Posters, drawings...
hopl-s2017fork History of Programming Languages, Spring 2017
remote-jobsfork A list of semi to fully remote-friendly companies in tech
symbolicautomatafork Library for symbolic automata and symbolic visibly pushdown automata
cogentfork Proof-Code Cogeneration
ChrysaLispfork Parallel OS, with GUI, Terminal, OO Assembler, Class libraries, C-Script compiler, Lisp interpreter and more...
Pfork The P programming language.
selfiefork An educational software system of a tiny self-compiling C compiler, a tiny self-executing MIPS emulator, and a tiny self-hosting MIPS hypervisor.
kittenfork A statically typed concatenative programming language.
HOL88fork The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.
obsc OPEN BOX SEMICOLON
SmallerCfork Simple C compiler
bors-ngfork A merge bot for GitHub Pull Requests
loglogbetafork LogLog-Beta
alternative-internetfork A collection of interesting new networks and tech aiming at decentralisation (in some form).
otterfork The first theorem prover and model generator for first-order logic with equality from the Argonne group that was widely distributed.
MTunerfork MTuner is a C/C++ memory profiler and memory leak finder for Windows, PS4, PS3, etc.
Briskfork Brisk
sledfork a modern embedded database
rapidcheckfork QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
x86provedfork Archive of http://x86proved.codeplex.com, a Coq theory of x86 machine code
adapton.rustfork Nominal Adapton in Rust
sixtenfork Functional programming with fewer indirections
XSfork Shell based on es
logic-theoristfork The sources of the first theorem prover.
swift-source-compat-suitefork The infrastructure and project index comprising the Swift source compatibility suite.
QuickTheoriesfork Property based testing for Java 8
Moyfork A version of Joy1 built with Lex & Yacc
yarpgenfork Yet Another Random Program Generator
clistatsfork A command line interface tool to compute statistics for a stream of delimited input numbers.
linear-logicfork An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
LCF77fork The original Edinburgh LCF.
ministatfork A small tool to do the statistics legwork on benchmarks etc.
cpplinksfork A categorized list of C++ resources.
Objective-C-CheatSheetfork A quick reference cheat sheet for common, high level topics in Objective-C.
cic-redexfork A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
tlsffork Two-Level Segregated Fit memory allocator implementation.
notationfork Collection of quotes on interesting notations & how they affect thought.
benchfork Command-line benchmark tool
sillfork Sem descrição.
coq-amd64fork Sem descrição.
boltzmann-samplersfork Sem descrição.
- 201879 criados
79 repositórios sem linguagem detectada
79 repositórios criados (79 forks). 515 contribuições públicas no ano.
ios-ossfork Kickstarter for iOS. Bring new ideas to life, anywhere.
rascalfork The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
wikipedia-iosfork The official Wikipedia iOS app.
rclonefork "rsync for cloud storage" - Google Drive, Amazon Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Cloudfiles, Google Cloud Storage, Yandex Files
basexfork BaseX Main Repository.
pmdkfork PMDK main source repo
firefox-iosfork Firefox for iOS
mentatfork A persistent, relational store inspired by Datomic and DataScript.
ello-iosfork Ello's open source iOS app
laspfork Prototype implementation of Lasp in Erlang.
codefacefork Typefaces for source code beautification
libsixelfork The new standard of SIXEL development
antidotefork SyncFree Reference Platform
iOSfork DuckDuckGo iOS Application
nperffork A sampling CPU profiler for Linux
aws-sdk-swiftfork AWS SDK for the Swift programming language that works on Linux and Mac
plfa.github.iofork Introduction to programming language theory in Agda.
blogfork Some notes on things I find interesting and important.
sailfork Sail architecture definition language
tantivyfork Tantivy is a full-text search engine library inspired by Lucene and written in Rust
wasmerfork High-Performance WebAssembly JIT interpreter
bitmap-fontsfork Monospaced bitmap fonts for X11, good for terminal use.
cubicalttfork Experimental implementation of Cubical Type Theory
CISEfork The CISE logic is able to prove that some distributed program is safe, in the sense that it maintains some application invariant of interest.
rosie-pattern-languagefork Rosie Pattern Language (RPL) and the Rosie Pattern Engine
FlameGraphfork Stack trace visualizer
rust-libp2pfork The Rust Implementation of libp2p networking stack.
Essentials-of-Compilationfork A book about compiling Racket to x86-64 assembly
tstlfork Template Scripting Testing Language tool
lemfork Lem semantic definition language
qbefork A Quick Backend
statecharts.github.iofork There is no state but what we make. Feel free to pitch in.
pequodfork A distributed key-value cache with builtin materialized views.
asmjitfork Complete x86/x64 JIT and Remote Assembler for C++
silofork Multicore in-memory storage engine
HoneyBadgerBFTfork The Honey Badger of BFT Protocols
libartfork Adaptive Radix Trees implemented in C
owlfork A parser generator for visibly pushdown languages.
iodyn-lang.rustfork IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
liofork Labeled IO Library
python-vote-corefork Python libraries for various electoral methods
gradual-typing-bibfork A bibliography on Gradual Typing
swift-lispkitfork Interpreter framework for Lisp-based extension and scripting languages on macOS. LispKit is based on the R7RS standard for Scheme. Its compiler generates bytecode for a virtual machine. LispKit is fully implemented in Swift 4.
SwiftGraphfork A Graph Data Structure in Pure Swift
sajsonfork Lightweight, extremely high-performance JSON parser for C++11
d3-flame-graphfork A D3.js plugin that produces flame graphs from hierarchical data.
hoicefork An ICE-based predicate synthesizer for Horn clauses.
incfork an incremental approach to compiler construction
autosubstfork Automation for de Bruijn syntax and substitution in Coq
datafusionfork Modern distributed compute platform using Apache Arrow as the memory model
l3riscvfork An executable specification of the RISCV ISA in L3.
morbigfork A trustworthy parser for POSIX shell
haskell-hedgehogfork Hedgehog will eat all your bugs.
art-rsfork Adaptive Radix Tree in Rust
pikeletfork (Please don’t repost, this is still a WIP) A small dependently typed lambda calculus implemented in Rust. 🥞
joujoufork A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
GoldFishfork JSON/CBOR streaming library, without using memory, like a GoldFish
lambda-authfork authenticated data structures, generically
interactive_latenciesfork Jeff Dean's latency numbers plotted over time
decsixfork Encodes a string into DEC SIX encoding
tiny-nix-ipcfork Minimal Rust wrapper for using sockets as IPC with file descriptor passing
nanboxfork NaN-boxing in C
AugmentedTimeProjectfork A project to implement Augmented Time
fomegafork System Fω interpreter for use in Advanced Functional Programming course
nanbox-1fork Playing with Nan Boxing
LFSCfork LFSC Proof Checker
macaroons-rsfork Macaroons: bearer credentials with caveats for distributed authorization
mttfork Simple transformation language for XML with exact type-checking
statechartfork A rust implementation of statecharts: hierarchical, reactive state machines
awesome-ocapfork Awesome Object Capabilities and Capability Security
hyparviewfork A Rust implementation of HyParView algorithm
units-cxx14fork A header library for calculations with units
datafrogfork A lightweight Datalog engine in Rust
ArtTreefork Implementation of Adaptive Radix Tree in Rust
triefork Exploring trie-structured data
binary-parsingfork A list of generic tools for parsing binary data structures, such as file formats, network protocols or bitstreams
cc500fork CC500: a tiny self-hosting C compiler
bsalc-alt-codefork Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax
wcplfork Sem descrição.
- 201977 criados
Consolidação em Rust
77 repositórios criados (71 forks). Linguagem predominante: Rust (4 de 6). Mais estrelado: bocu1 (★ 18). 516 contribuições públicas no ano.
sixbit a crate for small packed strings
bocu1mais estrelado a BOCU-1 encoder/decoder library in rust
scholar-digest small script for managing google scholar alert emails
newel small vectorized evaluator
cast-machine Implementation of a space-efficient lambda calculus with gradual set-theoretic types.
orbeon-formsfork Orbeon Forms is an open source web forms solution. It includes an XForms engine, the Form Builder web-based form editor, and the Form Runner runtime.
FSharp.Datafork F# Data: Library for Data Access
vim.wasmfork Vim editor ported to WebAssembly
go-stellar-sdkfork Stellar's public monorepo of go code
CorfuDBfork A cluster consistency platform
mapd-corefork The MapD Core database
Bedrockfork Rock solid distributed database specializing in active/active automatic failover and WAN replication
cudffork cuDF - GPU DataFrame Library
dbtoaster-backendfork The current backend of DBToaster, implemented in Scala.
FuzzyLogfork Experiments in partially ordered SMR.
dynamic-datalogfork Engines, queries, and data for dynamic Datalog computation
dslabsfork Distributed Systems Labs and Framework
everparsefork Automated generation of provably secure, zero-copy parsers from format specifications
boltfork Fast approximate vector operations
lmsfork EPFL DATA Lab fork of LMS (TiarkRompf/virtualization-lms-core)
noriafork Dynamically changing, partially-stateful data-flow for web application backends.
visual-programming-codexfork Resources and references for the past and future of visual programming.
nomiconfork The Dark Arts of Advanced and Unsafe Rust Programming
db_tutorialfork Writing a sqlite clone from scratch in C
wavefork Wide Area Verified Exchange - version 3
ggfork The Stanford Builder
gibbonfork A compiler for functional programs on serialized data
QNial7fork The NIAL language environment
curfork Powerful meta-programming for powerful types.
stellar-protocolfork Developer discussion about possible changes to the protocol.
braid-specfork Working area for Braid extensions to HTTP
mm0fork Metamath Zero specification language
Remorafork Dependently-typed language with Iverson-style implicit lifting
FuzzyLog-appsfork Example applications which use color API
pixy-langfork Current work documents on the Pixy programming language
granulefork Granule: a statically typed functional language with graded modal types for fine-grained program reasoning via types
reflect-1fork Compile-time reflection API for developing robust procedural macros (proof of concept)
CLAIRE3.4fork Source code for open-source CLAIRE Programming Language version 3.4 (2013)
Rococo-SNOWfork Source code of Rococo-SNOW, a novel read-only transaction algorithm designed for Rococo
medidafork Simple metrics library for C++ programs
declarative-dataflowfork A reactive query engine built on differential dataflow.
SuRFfork First Practical and General-purpose Range Filter
fuifork Add CLI & form interface to your program. Docs: https://docs.rs/fui
bitsyfork Bitsy Graph Database v3
minsqlfork High-performance log search engine.
rust-nbe-for-mlttfork Danny Gratzer's implementation of Normalization by Evaluation for Martin-Löf Type Theory, ported to Rust
ccmetricsfork Fine-grained application metrics for C++
MIRAIfork Rust mid-level IR Abstract Interpreter
Xfolitefork J2ME XForms Engine
lets-prove-leftpadfork Proving leftpad correct in a dozen different ways
provsqlfork Adding support for (m-)semiring provenance and uncertainty management to PostgreSQL databases
smallttfork Demo for high-performance type theory elaboration
conc Sem descrição.
pLucid-osxfork A "port" of plucid that works on OS X
astrocorefork Stellar-core implementation in Rust (WIP)
docker-stellar-core-horizonfork Home of the stellar/quickstart docker image
wrenfork Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
cxxmetricsfork A C++14 only metrics library inspired by codahale/dropwizard metrics but with tagging (still in progress - look for the README.md when it's done)
iburgfork A Tree Parser Generator
dpcfork Distributed Protocol Combinators
sisal-isfork Modernized Sisal Interpreter
Formalityfork An efficient programming language and proof assistant.
mlsubfork Prototype type inference engine
dsvpnfork A Dead Simple VPN.
xg2xgfork by ex-googlers, for ex-googlers - a lookup table of similar tech & services
cppmetricsfork A zero-dependency c++14 port of Dropwizard Metrics.
rust-1fork RustPräzi: Representing crates.io as a call-based dependency network
nanodafork A type checker for the Lean theorem prover
1mlfork 1ML prototype interpreter
alicemlfork A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
Multeffork Multi-Execution Framework
microsatfork microsat
awesome-crdtfork A collection of awesome CRDT resources
OptimisingFSMEfork Supplementary material to "Optimising Faceted Secure Multi-Execution"
emacs-sourcetrailfork Emacs plugin for communication with Sourcetrail
BidirectionalTypecheckingfork Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
modelfork Sem descrição.
- 2020105 criados · recorde
Entram TypeScript e obsidian-plugin
105 repositórios criados (98 forks). Linguagem predominante: Rust (4 de 7). Topics mais usados: obsidian-plugin. Mais estrelado: obsidian-dangling-links (★ 48). 615 contribuições públicas no ano.
- TypeScript
- obsidian-plugin
obsidian-dangling-linksmais estrelado obsidian plugin for displaying dangling links
- obsidian-plugin
clepsydra small distributed database protocol
concorde Sem descrição.
pergola abstract types for join-semilattices
edelcrantz Sem descrição.
ivy-notes Sem descrição.
modules-papers A collection of papers on modules.
awesome-leading-and-managingfork Awesome List of resources on leading people and being a manager. Geared toward tech, but potentially useful to anyone.
toydbfork Distributed SQL database in Rust, written as a learning project
ssabookfork Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (scheduled for retirement at the end of 2020)
sirixfork SirixDB facilitates effective and efficient storing and querying of your temporal data. Every commit stores a space-efficient snapshot. It is log-structured and never overwrites data. SirixDB uses a novel page-level versioning approach called sliding snapshot.
bitcfork The BitC Programming Language (unofficial, unaffiliated mirror)
differential-datalogfork An in-memory incremental Datalog engine based on Differential Dataflow
simdefork Implementations of SIMD instruction sets for systems which don't natively support them.
unisonfork A friendly programming language from the future
lean4fork Lean4 work in progress repo
speedscopefork 🔬 A fast, interactive web-based viewer for performance profiles.
ApprovalTests.cppfork Native ApprovalTests for C++ on Linux, Mac and Windows
tree-sitterfork An incremental parsing system for programming tools
doltfork Dolt – It's Git for Data
robin-hood-hashingfork Fast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20
btrdb-serverfork Berkeley Tree Database (BTrDB) server
serdefork Serialization framework for Rust
uftracefork Function (graph) tracer for user-space
whitenoise-corefork Differential privacy validator and runtime
derechofork The main code repository for the Derecho project.
spdlogfork Fast C++ logging library.
parallel-hashmapfork A family of header-only, very fast and memory-friendly hashmap and btree containers.
Griftfork A compiler for the gradually typed lambda calculus
civetwebfork Embedded C/C++ web server
gorumsfork Gorums is a framework for simplifying the design and implementation of fault-tolerant quorum-based protocols.
talks-1fork Some talks I've given
xxHashfork Extremely fast non-cryptographic hash algorithm
tracyfork C++ frame profiler
The-Spiral-Languagefork Functional language with intensional polymorphism and first-class staging.
awesome-scalabilityfork The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
smartmergefork A collection of algorithms for reconfigurable atomic storage.
TSDfork Transparent Synchronous Dataflow
sunrise-commanderfork Twin-pane file manager for Emacs based on Dired and inspired by Midnight Commander
charityfork Charity Programming Language
sanoidfork Policy-driven snapshot management and replication tools. Using ZFS for underlying next-gen storage. (Btrfs support plans are shelved unless and until btrfs becomes reliable.) Primarily intended for Linux, but BSD use is supported and reasonably frequently tested.
zfs_autobackupfork ZFS autobackup is used to periodicly backup ZFS filesystems to other locations. No additional tools of libraries or config files needed.
nanobenchfork Simple, fast, accurate single-header microbenchmarking functionality for C++11/14/17/20
emiguifork egui: Immediate mode GUI written in Rust, made for WASM
project-m36fork Project: M36 Relational Algebra Engine
hotspotfork The Linux perf GUI for performance analysis.
terminusdb-serverfork open source model driven graph database for knowledge graph representation.
nnnfork :dolphin: The missing terminal file manager for X.
staterightfork A model checker for implementing distributed systems.
awesome-compilersfork :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes
heaplessfork Heapless, `static` friendly data structures
bondifork Barry Jay's (bond-eye) pattern language
ellefork Black-box transactional safety checker based on cycle detection
mimallocfork mimalloc is a compact general purpose allocator with excellent performance.
impfork Imp = Spreadsheets + Relations + Time
uint128_tfork C++ unsigned 128 bit integer type
git-absorbfork git commit --fixup, but automatic
Row-and-Bounded-via-Disjointfork Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
tarpcfork An RPC framework for Rust with a focus on ease of use.
LtuPatternFactoryfork Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
Bearfork Bear is a tool that generates a compilation database for clang tooling.
logurufork A lightweight C++ logging library
quillfork Asynchronous Low Latency Logging Library
napkin-mathfork Techniques and numbers for estimating system's performance from first-principles
morelfork Standard ML interpreter, with relational extensions, implemented in Java
ECOOP2020fork A Type-Directed Operational Semantics for a Calculus with a Merge Operator
terminusdb-storefork a tokio-enabled data store for triple data
Interval-Tree-Clocksfork An Erlang-specific fork of A Logical Clock for Static and Dynamic Systems
circonusllhistfork A go implementation of Circonus log-linear histograms
lezer-generatorfork Parser generator for the lezer incremental parser
Gradualizerfork Supporting tool for Gradual Typing
lezerfork Incremental parsing system
Cozettefork A bitmap programming font optimized for coziness 💜
liburkelfork Authenticated key-value store (i.e. an urkel tree)
tinysetfork Compact sets in rust
plogfork Portable, simple and extensible C++ logging library
fbas_analyzerfork Tool and library for analyzing FBASs like Stellar
AquaHashfork Fast Hash Functions Using AES Intrinsics
aHashfork aHash is a non-cryptographic hashing algorithm that uses the AES hardware instruction
libcircllhistfork A C implementation of Circonus log-linear histograms
fastfilter_cppfork Fast Approximate Membership Filters (C++)
partitions-postfork A blog post on network partitions in practice
TablaMfork A general purpose relational language
narcfork Nested Relational Calculus embedded in Haskell
dbKanrenfork Kanren on a database
py-tpccfork Python implementation of TPC-C
arugulafork a small C++ lattice library
trustfork Travis CI and AppVeyor template to test your Rust crate on 5 architectures and publish binary releases of it for Linux, macOS and Windows
reflection-schemesfork exploration of reflective architectures in Scheme
stellar-core-prometheus-exporterfork Stellar Core Prometheus Exporter
obsidian-htmlfork A simple tool to convert an Obsidian vault into HTML
serde-rs.github.iofork Sem descrição.
bright-mlfork A statically-typed programming language based on "F-ing modules"
awesome-wasm-runtimesfork A list of webassemby runtimes
covering-input-structurefork Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
NanoLogfork Low Latency C++11 Logging Library
awesome-consensusfork Awesome list for Paxos and friends
iproffork A pretty simple and performant C++ profiling library
memory-profilerfork Sem descrição.
clocksfork Code to test various clocks
flameprofilerfork Header only profiling library which generate a JSON file to use with Chrome://tracing
scp-proofsfork Sem descrição.
obsidian-releasesfork Sem descrição.
stellar-ivyfork Sem descrição.
obsidian-sample-pluginfork Sem descrição.
- 202136 criados
Consolidação em Rust
36 repositórios criados (30 forks). Linguagem predominante: Rust (4 de 6). Mais estrelado: exhaustigen-rs (★ 66). 467 contribuições públicas no ano.
exhaustigen-rsmais estrelado exhaustive testing library
backtrace-error wrap errors with automatic backtrace capture and print-on-result-unwrap
photesthesis test framework
exhaustigen Sem descrição.
ordbog lossy dictionary codes for accelerated scans
vanity25519 a small vanity-keygen toy for ed25519 keys
distributed-consensus-reading-listfork A long list of academic papers on the topic of distributed consensus
google-researchfork Google Research
notcursesfork blingful character graphics/TUI library. definitely not curses.
duckdbfork DuckDB is an in-process SQL OLAP Database Management System
futharkfork :boom::computer::boom: A data-parallel functional programming language
z3fork The Z3 Theorem Prover
clu-1976-1989fork A set of files that can be used to create a working version of an early version of the CLU programming language
ivyfork IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
t-digestfork A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
Racerfork Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
mechfork Main repository for the Mech programming language. Start here!
harlanfork A language for GPU computing.
TurboPFor-Integer-Compressionfork Fastest Integer Compression
superclusterfork Stellar-core integration test automation tool
packagesfork SDF - Packages
cubiml-demofork A simple ML-like programming language with subtyping and full type inference.
par-streamfork Asynchronous parallel stream in Rust
divbuffork Recursively divisible buffers for Rust
vanilla-langfork An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
MyBluRadiofork BluOS sound player streaming audio station selector.
nautilusfork A grammar based feedback Fuzzer
substrate-stellar-sdkfork A Rust SDK for Stellar that can be used for Substrate projects
compressed-vecfork SIMD Floating point and integer compressed vector library
rms-open-letter.github.iofork Sem descrição.
actions-k3sfork Github action for spinning up local k3s instance and running kubectl commands
legacy-ccfork The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
awesome-information-retrievalfork A curated list of awesome information retrieval resources
awesome-distributed-transactionsfork Awesome list of distributed transactions
coresfork Sem descrição.
metaiifork Common lisp implementation of Val Schorr's Meta-II language
- 202220 criados
Consolidação em Rust
20 repositórios criados (17 forks). Linguagem predominante: Rust (3 de 3). Mais estrelado: extent (★ 37). 701 contribuições públicas no ano.
extentmais estrelado replacement for std::ops::{Range,RangeInclusive}
bs Simple bitset with small-set (single-word) optimization
proptest-arbitrary-interop Interop glue between arbitrary and proptest crates
rs-soroban-envfork Rust environment/vm for Stellar Smart Contracts.
veloxfork A C++ vectorized database acceleration library aimed to optimizing query engines and data processing systems.
cpufork cpu command in go, inspired by the Plan cpu command
wasmifork WebAssembly (Wasm) interpreter.
mirfork A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
gh-pr-content-checkerfork Action that checks whether the body or diff in a PR contains a certain word.
rs-stellar-xdrfork Rust SDK for Stellar XDR.
realtpsfork https://realtps.net
pikaparserfork The Pika Parser reference implementation
mastodon-archivefork Archive your statuses, favorites and media using the Mastodon API (i.e. login required)
fizzyfork Fizzy aims to be a fast, deterministic, and pedantic WebAssembly interpreter written in C++.
eyrosfork interval database
rs-stellar-contract-sdkfork Rust SDK for Stellar Jump Cannon.
prqlfork PRQL is a modern language for transforming data — a simpler and more powerful SQL
yakvfork Yet another key-value storage for Rust
hg64fork a 64-bit histogram / quantile sketch
arbtestfork A minimalist property-based testing library
- 202310 criados
Consolidação em Rust
10 repositórios criados (8 forks). Linguagem predominante: Rust (1 de 2). Mais estrelado: berlin (★ 17). 837 contribuições públicas no ano.
berlinmais estrelado berlin windowing system -- historical snapshot
brevet experimental term evaluator
awesome-dbdevfork Awesome materials about database development.
rustsecfork RustSec API & Tooling
felderafork Feldera Continuous Analytics Platform
cargo-deny-actionfork ❌ GitHub Action for cargo-deny 🦀
stellar-xdrfork Staging area for future version of Stellar XDR.
ecc-sorobanfork Elliptic curve cryptography on Soroban.
frescofork Sem descrição.
egg-smolfork Sem descrição.
- 20249 criados
Consolidação em Rust
9 repositórios criados (7 forks). Linguagem predominante: Rust (2 de 2). Mais estrelado: panic-room (★ 17). 418 contribuições públicas no ano.
panic-roommais estrelado Sem descrição.
check-lockfile-intersection Sem descrição.
stellar-docsfork Documentation for Stellar
Wikifork Community maintained wiki for Talon Voice
authfork A JWT based API for managing users and issuing JWT tokens
rust-feature-togglefork VS Code Extension for quick enabling and disabling rust feature
soroban-rpcfork RPC server for Soroban contracts.
cc-rsfork Rust library for build scripts to compile C/C++ code into a Rust library
txset_partitionfork Sem descrição.
- 202518 criados
Consolidação em Rust
18 repositórios criados (15 forks). Linguagem predominante: Rust (3 de 3). Mais estrelado: wasm-call-graph (★ 11). 410 contribuições públicas no ano.
wasm-call-graphmais estrelado explore the static call graphs of wasms
rust-smb weird LLM-translated mutant smb server experiment / bad idea
wasmtimefork A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
libuifork Rust bindings to the minimalist, native, cross-platform UI toolkit `libui-ng`
nappgui_srcfork SDK for building cross-platform desktop apps in ANSI-C
re-export-symbols Sem descrição.
tpdefork A fast framework for writing baseline compiler back-ends in C++
mrpcfork A MessagePack-RPC implementation for Rust
sigtopfork Export messages from Signal Desktop
stellar-quorum-analyzerfork Library for analyzing Stellar network quorum properties
Simplefork A Simple showcase for the Sea-of-Nodes compiler IR
Hangonsfork Web app to parse and save your Hangouts.json file into a more friendly format.
veilfork A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
language-gardenfork A garden of small programming language implementations 🪴
ResticSchedulerfork Mac menu bar app to perform scheduled backups using restic
nappgui-rsfork Rust bindings to NAppGUI
actionsfork GitHub Actions for Stellar repositories.
rs-stellar-archivistfork Tool for managing Stellar History Archives
- 202610 criados
Consolidação em Rust
10 repositórios criados (2 forks). Linguagem predominante: Rust (4 de 8). Mais estrelado: snel (★ 16). 409 contribuições públicas no ano.
snelmais estrelado small vectorized interpreter
rust-smb2 weird psychotherapy-inspired one-shot mutant smb server / even worse idea
bureau of course you need another agent-runner
dac-wasm differential auto-correction LLM experiment
bureau-rs another llm experiment
lsp-lm-tool vscode extension to expose Language Server Protocol (LSP) commands as Language Model API agent tools
claude-loop a loop, but now with AI
oss-fuzzfork OSS-Fuzz - continuous fuzzing for open source software.
xdrpack a little experiment in xdr file indexing and compression
egui-data-tablefork Sem descrição.