Pinned Repositories
aurochs
Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.
avrprogni
Tool for programming AVR chips by bit-banging SPI on a National Instruments DAQ card
fhlink
A duplicate file finder and de-duplicator.
fresnel
Special function for computing the Fresnel integrals (CEPHES translation)
jsure
JSure is a fast, standalone Javascript checker.
mlwebmonitor
A tool for monitoring websites
redditwatcher
Redditwatcher is an Ocaml program that follows the evolution of the scores of stories appearing on Reddit
sexptran
Fortran library for reading and writing S-expressions
wipe
A Unix tool for secure deletion
xsetxmap
An unfunctorized and Sexplib-aware version of the Ocaml Set and Map modules.
berke's Repositories
berke/aurochs
Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.
berke/wipe
A Unix tool for secure deletion
berke/sexptran
Fortran library for reading and writing S-expressions
berke/fresnel
Special function for computing the Fresnel integrals (CEPHES translation)
berke/hhttppss
hhttppss, homebuilt HTTP polling server skeleton
berke/air-quality-monitor
Serial port logger for Dylos 1100 Pro air quality monitor
berke/fling
S-Expression grepper
berke/gshhg-reader
Loader for the binary Wessel and Smith GSHHG shoreline files
berke/tofas
Translation of Fundamental Astronomical Standards
berke/beamtrace
Representation of multi-page line plots
berke/capest
Mutual capacitance estimation between PCB traces
berke/cryptominisat
An advanced SAT solver
berke/datacom
Cryptographic experiments on block ciphers using SAT solvers (draft code)
berke/discipline
A system for enforcing computer usage time limits
berke/egui_triangle_bug
Proof of concept for egui plot triangle filling bug
berke/ezlua
Ergonomic, efficient and Zero-cost rust bindings to Lua5.4
berke/fsmap
File system mapper and search tool
berke/gpiod-rs
Rust library for Linux chardev gpio
berke/gpt
A pure rust GPT header/partition table library
berke/gtk-glium
A simple minimal example of using glium on GTK's GLArea
berke/htpasswd-verify
berke/iceprogrs
SPI-based SRAM programmer for Lattice iCE40 family FPGAs
berke/icestorm
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
berke/mazegame
A minimal 8-bit style maze game with an editor
berke/mu
maildir indexer/searcher + emacs mail client + guile bindings
berke/multinortest
Multivariate normality tests on HDF5 datasets
berke/rust-simple_logger
A rust logger that prints all messages with a readable output format.
berke/rustronomy-fits
rustronomy-fits: a rust library for reading and writing fits files
berke/sgp4
A Rust implementation of the SGP4 satellite propagation algorithm
berke/slurp
Directory tree dumper