Discover whitequark/ocaml-cavalry Open Source project

IP address manipulation library in JavaScript

1,435

ipaddr.js

Rack::UTF8Sanitizer is a Rack middleware which cleans up invalid UTF8 characters in request URI and headers.

528

rack-utf8_sanitizer

Simple and good-looking IRC log viewer. Logger is included. No strings are attached.

298

irclogger

A library for working with Abstract Syntax Trees.

252

ast

KiCAD to Boardview exporter reads KiCAD PCB layout files and writes ASCII Boardview files

193

kicad-boardview

A library that makes it easy to follow the X Desktop Group specifications

150

rust-xdg

An implementation of VNC protocol, client state machine, a client and a proxy

145

rust-vnc

Resource-efficient 16-bit CPU architecture for FPGA control plane

127

Boneless-CPU

A Wireshark dissector for ZMTP version 3.0 and later (ZeroMQ 4 and later)

zmtp-wireshark

Lua

furnace-avm2

Flash ActionScript3 VM static analysis library based on Furnace framework.

Chip support package for Cypress EZ-USB FX2 series microcontrollers

libfx2

binja_itanium_cxx_abi

Binary Ninja Itanium C++ ABI Plugin

ColdRuby is a compiler of Ruby 1.9 MRI bytecode, and a runtime written in JavaScript to aid in execution of Ruby code. It also includes a C++ executable using very fast V8 scripting engine and native extensions for regular expressions, fibers and more.

coldruby

Yumewatari

妖刀夢渡

Multilingualization for the OCaml source code

ocaml-m17n

A zero-allocation ring buffer for storing text logs, implemented in Rust

rust-log_buffer

Documenting the Microchip (Atmel) ATF15xx CPLD fuse maps and programming algorithms

prjbureau

A primer on using OpenCV with Rust

rust-facedetect

Microphotography viewer based on Leaflet.js

groupXIV

OCaml bindings for inotify.

ocaml-inotify

Pure Python Itanium C++ ABI demangler

python-itanium_demangler

A practical LLVM backend for OCaml (will never be finished)

ocaml-llvm-ng

A simple Android app to call SIP numbers directly

SIPCaller

Java

infra-vpn

Automation for WireGuard VPN tunnels

rlua

Ruby to Lua bindings library.

js_of_ocaml-example

A tiny sample js_of_ocaml project

OCaml bindings for LZ4, a very fast lossless compression algorithm

ocaml-lz4

Binary Ninja plugin for the Avnera AV6xxx/AV7xxx architecture

binja-avnera

icefloorplan

iCE40 floorplan viewer

Default Sublime Text highlighting for OCaml sucks. I've fixed it.

sublime-better-ocaml

tf2_healslut

gameboy-grabber

A static analysis framework.

furnace

Sublime Text plugin which provides OCaml autocompletion with ocp-index

sublime-ocp-index

Cheap & simple evaluation boards for Microchip ATF15xx CPLDs

ATF15xx-EVB

ZYTOKINE STORM is a user-mode Linux binary translation layer targeting Darwin

Binary Ninja plugin for the Renesas M16C architecture

binja-m16c

A tool to query opam files from shell scripts

opam-query

A pipelined brainfuck softcore in Verilog

bfcpu2

Verilog

binja-i8086

16-bit x86 architecture for Binary Ninja

cylinder

→ Makes XCompose work in Sublime Text! ←

sublime-imethod-fix

ocaml-protobuf

Google Protocol Buffers runtime implemented in OCaml

Source for my lab notebook

lab-notebook

A microkernel OS for x86 I wrote in C++ back in 2007. Features VMM, TSS multitasking, and oddly shaped C++. Updated in 2023 to fix some memory management bugs and now it works.

story-os

binja_extended_api

Extended Python API for Binary Ninja

Sparkle is a zero-configuration decentralized VPN which can tunnel IP packets, simultaneously handle multiple payload types like VoIP or IM (together with tunneling) and be embedded anywhere as a small library.

sparkle

ocaml-expat

The official repository of the ocaml-expat library

Make srand() always use the seed 0 using LD_PRELOAD

unrandom

murmurhash3-js

JavaScript implementation of MurmurHash3

A reimplementation of standard library for STM32 family Cortex-M3 processors.

lend

Allocator

libstm32

catircservices.org

Nix configuration for a Matrix<>IRC and Matrix<>Discord bridge

Nix

libnrf24l

Chip support package for Nordic nRF24L series microcontrollers

whitequark's fork of Tomorrow color scheme

Sublime-Yesterday-Theme

eliom-example

Eliom example application

Ansible configuration for https://whitequark.org

infra-server

Shell

pry.ml

Thomas Fischl's USBasp (orig. http://www.fischl.de/usbasp/) with my patches.

usbasp

binja_function_abi

Binary Ninja plugin for viewing and changing function ABIs in a fine-grained way via the GUI

A rudimentary SWF reader for furnace-avm2.

LineageOS_vendor_whitequark

My LineageOS overlay

Shell

furnace-swf

Rust bindings for Touptek ToupLite image acquisition library

rust-touptek

LLVM TableGen syntax definition

LLVM-TableGen.tmBundle

sdcc

Git mirror of http://svn.code.sf.net/p/sdcc/code/trunk

usbasploader

Objective Development's USBaspLoader (orig. http://www.obdev.at/products/vusb/usbasploader.html) with my patches.

track-pypi-dependency-version

A script for use with GitHub Actions that updates the upper bound in requirements.txt when a package is released on PyPI

Sources for the Ruby Cross Reference LXR setup

ruby-cross-reference

Perl

vuxboot

VuXboot is a small but powerful AVR UART bootloader.

JEDEC JESD3 syntax highlighter for Sublime Text 3

Sublime-JESD3

sphinxcontrib-platformpicker

Platform picker extension for Sphinx

Rust bindings for libsamplerate

samplerate-rs

i3gamma integrates with the i3 window manager and changes the gamma correction value depending on the focused window

i3gamma

The only safe eval is no eval.

disable_eval

CyberplatPKI is a library for signing Cyberplat requests.

cyberplat_pki

suwabara

unbot

Binary Ninja bookmarks plugin that integrates into the GUI

binja_xapi_bookmarks

Sub-millimeter scale indicator for Leaflet.js

Leaflet.Nanoscale

blog

http://whitequark.org

Sublime Text 3 syntax definition for S-Expressions

Sublime-S-Expressions

bacon-colored_output

Colored output for Bacon testing framework!

whimper

Remains of a failed attempt to port Linux to BE-300. WARNING: Doing so may result in severe frustration

linux5be

catirclogs.org

(WIP) Nix configuration for IRC logging infrastructure

Nix

pcbhdl

Python toolbox for designing printed circuit boards

A modular high-voltage PSU, rated at 50W continuous power

50w-modular-psu

Processing

ocaml-eval_in

An http://eval.in/ bot in OCaml.