8000 witkamp (Theodore Witkamp) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View witkamp's full-sized avatar

Block or report witkamp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

QUDT -Quantities, Units, Dimensions and dataTypes - public repository

HTML 171 104 Updated Nov 8, 2026

Replacement PCBs for the Kinesis Advantage/Contour keyboards

90 14 Updated Mar 24, 2025

SPARQL graph database

Rust 2,025 192 Updated Nov 5, 2026

Measure Amazon S3's performance from any location.

Go 910 144 Updated Jan 19, 2024

Research WebAssembly Engine

WebAssembly 514 52 Updated Nov 7, 2026

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

Haskell 536 25 Updated Jun 8, 2021

A stream-based runtime-verification framework for generating hard real-time C code.

Haskell 840 82 Updated Nov 8, 2026

TI MSP430 Bootloader (BSL) .NET Cross-Platform Toolchain & Firmware Tools. The cheapest way to flash MSP430, with FTDI/Serial/UART converters. Intel-HEX, TI-TXT, ELF and SREC firmware format suppor…

C# 51 12 Updated Dec 7, 2022

Our regulatory documentation manager. Streamlines 62304, 14971, and 510(k) documentation for software projects.

Python 144 36 Updated Oct 27, 2022

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

Haskell 506 28 Updated Jul 4, 2025

An Emacs framework for the stubborn martian hacker

Emacs Lisp 22,803 3,140 Updated Nov 6, 2026

A Python package with bindings to the "Virtual Instrument Software Architecture" VISA library, in order to control measurement devices and test equipment via GPIB, RS232, or USB.

Python 972 272 Updated Nov 2, 2026

The Haskell LaTeX library.

Haskell 198 42 Updated Sep 28, 2023

See Reflex FRP in action with tinker-friendly code samples you can run yourself.

Haskell 83 33 Updated May 13, 2025

Functional reactive web and mobile applications, with batteries included.

Haskell 1,041 115 Updated Nov 7, 2026

Specification for Eddystone, an open beacon format from Google

C 3,084 736 Updated Dec 10, 2019

Open control of Carrier/Bryant thermostats

Perl 259 54 Updated Nov 6, 2026

📶 - Elm style FRP library for Haskell

Haskell 16 1 Updated Aug 8, 2018

2-D arcade scroller

Haskell 57 10 Updated Feb 20, 2017

Nix, the purely functional package manager

C++ 17,984 2,066 Updated Nov 8, 2026

Hydra, the Nix-based continuous build system [maintainers=@dasj,@Ericson2314]

PLpgSQL 1,589 369 Updated Nov 7, 2026

OLD, DEPRECATED: Use this instead https://github.com/haskell/haskell-ide-engine

Haskell 177 43 Updated Mar 15, 2013

Bitcoin Core integration/staging tree

C++ 90,629 39,453 Updated Nov 8, 2026

A cross-platform, linkable library implementation of Git that you can use in your application.

C 10,641 2,705 Updated Oct 16, 2026

Functional Reactive DSL in Haskell that compiles to JavaScript.

Haskell 20 Updated Jun 14, 2009

Fast and memory efficient low-level networking for Haskell.

Haskell 18 1 Updated Jan 31, 2011
0