Ben Gamari (bgamari)

bgamari

Geek Repo

Company:Well Typed LLP

Location:Portsmouth, NH, United States

Home Page:http://smart-cactus.org/~ben

Github PK Tool:Github PK Tool


Organizations
analytics
p-v-o-s

Ben Gamari's starred repositories

fmt

A modern formatting library

Language:C++License:NOASSERTIONStargazers:19680Issues:323Issues:2548

quickemu

Quickly create and run optimised Windows, macOS and Linux virtual machines

Language:ShellLicense:MITStargazers:9637Issues:75Issues:501

gef

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Language:PythonLicense:MITStargazers:6598Issues:136Issues:508

embassy

Modern embedded framework, using Rust and async.

Language:RustLicense:Apache-2.0Stargazers:4665Issues:42Issues:699

lumenpnp

The LumenPnP is an open source pick and place machine.

Language:PythonLicense:GPL-3.0Stargazers:2275Issues:119Issues:429

libbpf

Automated upstream mirror for libbpf stand-alone build.

Language:CLicense:NOASSERTIONStargazers:1994Issues:68Issues:289

drgn

Programmable debugger

Language:PythonLicense:NOASSERTIONStargazers:1672Issues:35Issues:165

telescope-file-browser.nvim

File Browser extension for telescope.nvim

Language:LuaLicense:MITStargazers:1574Issues:7Issues:224

managarm

Pragmatic microkernel-based OS with fully asynchronous I/O

Language:C++License:MITStargazers:1343Issues:30Issues:266

hasktorch

Tensors and neural networks in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1031Issues:29Issues:202

LibreVNA

100kHz to 6GHz 2 port USB based VNA

Language:C++License:GPL-3.0Stargazers:1007Issues:82Issues:157

bsc

Bluespec Compiler (BSC)

Language:HaskellLicense:NOASSERTIONStargazers:897Issues:49Issues:299

nptyping

đź’ˇ Type hints for Numpy and Pandas

Language:PythonLicense:MITStargazers:545Issues:4Issues:73

sparselizard

C++ FEM library | user-friendly | multi-physics | hp-adaptive | HPC

Language:C++License:NOASSERTIONStargazers:321Issues:37Issues:30

uFDTD

Content for "Understanding the FDTD Method" by John B. Schneider

implicit-hie

Auto generate a stack or cabal multi component hie.yaml file

Language:HaskellLicense:BSD-3-ClauseStargazers:200Issues:6Issues:37

souffle-haskell

Haskell bindings for the Souffle datalog language

Language:C++License:MITStargazers:102Issues:10Issues:16

PLHaskell

A Haskell extension for PostgreSQL that allows embedded Haskell code.

Language:PLpgSQLLicense:GPL-3.0Stargazers:98Issues:7Issues:9

page-info

Programatically obtain information about the pages backing a given memory region

Language:CLicense:MITStargazers:68Issues:9Issues:3

arrayfire-haskell

Haskell bindings to ArrayFire

Language:HaskellLicense:BSD-3-ClauseStargazers:59Issues:9Issues:25

git-multisect

find git commits that matter

Language:PythonLicense:MITStargazers:49Issues:3Issues:0

pykson

A JSON Serializer/Deserializer for Python

Language:PythonLicense:MITStargazers:32Issues:4Issues:9

gdb-walkers

Bring mdb walkers to gdb, also add other helpful commands.

hsreduce

Minimizing Haskell programs for easier debugging of GHC compiler crashes

Language:HaskellLicense:BSD-3-ClauseStargazers:22Issues:0Issues:0

LLVM-JVM

[W.I.P] A Just-In-Time Java Virtual Machine written in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:22Issues:3Issues:7

hs-sleuth

This might one day be a thesis project

si-clock

An interface to the Silicon Labs Si5351 clock chip

Language:HaskellLicense:BSD-2-ClauseStargazers:6Issues:3Issues:0

corediff

Diff GHC Core programs

Language:HaskellLicense:MITStargazers:6Issues:4Issues:1

graphql-engine-benchmark

Reproducable benchmarking of graphql-engine

Language:PythonStargazers:2Issues:0Issues:0