mokus0

Pinned Repositories

Agda.tmbundle
A TextMate bundle for the Agda language
8 2 15
bindings-hdf5
Low-level Haskell FFI bindings to the HDF5 library
Language:Haskell14 3 69
bitvec
Bit arrays for Haskell
Language:Haskell8 3 50
hdf5
Extremely unofficial mirror of HDF5 releases
Language:C12 2 04
hs-hdf5
Low-level typesafe HDF5 bindings
Language:Haskell28 4 420
misfortune
A fortune-mod clone
Language:Haskell10 3 23
monad-loops
Some useful control operators for looping
Language:Haskell48 4 1210
polynomial
Haskell library for manipulating and evaluating polynomials
Language:Haskell20 3 1117
splines
B-Splines, other splines, and NURBS in Haskell.
Language:Haskell22 7 26
stm32.rs
Low-level Rust support for STM32 microcontrollers
Language:Rust10 6 00

mokus0's Repositories

mokus0/monad-loops
Some useful control operators for looping
Language:Haskell48 4 1210
mokus0/polynomial
Haskell library for manipulating and evaluating polynomials
Language:Haskell20 3 1117
mokus0/misfortune
A fortune-mod clone
Language:Haskell10 3 23
mokus0/bitvec
Bit arrays for Haskell
Language:Haskell8 3 50
mokus0/WiirdFlex
A flex-PCB-based solution for cleanly attaching various signals and power rails to a trimmed Wii
Language:HTML8 4 0
mokus0/gamma
Haskell implementation of gamma and incomplete gamma functions
Language:Haskell7 3 15
mokus0/dependent-sum-template
Template Haskell code to generate instances of classes from dependent-sum
Language:Haskell5 4 68
mokus0/dbf
Read and write XBase ".dbf" files
Language:Haskell4 3 03
mokus0/th-extras
A grab bag of useful functions for use with Template Haskell
Language:Haskell4 3 814
mokus0/xtrx-o-matic
my personal build config for XTRX drivers and related stuff
Language:Shell4 3 0
mokus0/deepbondi
My personal shell environment, utility scripts, etc.
Language:Perl3 2 0
mokus0/libffi-dynamic
Flexible LibFFI interface for Haskell
Language:C3 3 0
mokus0/tmc
Host implementation for USB Test and Measurement Class in the Rust language
Language:Rust3 2 03
mokus0/hstatsd
A very simple statsd interface for Haskell
Language:Haskell2 3 11
mokus0/m2-ice40
A M.2 3042 B-key card with an ICE40 FPGA. Currently intended for a specific application, but could easily be used for more general purposes.
2 3 21
mokus0/show
Small Haskell package to add show instances to functions, mainly to support lambdabot.
Language:Haskell2 3 02
mokus0/cufft.rs
Rust wrapper for cufft library
Language:Rust1 2 0
mokus0/stm32g431_usb_test
simple test project to evaluate STM32G431KB for a USB-C application
Language:C1 2 01
mokus0/flatcc
FlatBuffers Compiler and Library in C for C
Language:C1 0
mokus0/libxtrx
High-level XTRX API library
Language:C1 0
mokus0/mems_microphone_array
[WIP, very low prority] FPGA design for an array of MEMS microphones
Language:Tcl1 0
mokus0/Multirate.jl
Streaming polyphase DSP filters with sample rate conversion.
Language:Julia2 01
mokus0/proxmark3
RRG / Iceman repo - Proxmark3 / RFID / NFC
Language:C1 0
mokus0/rust-GSL
A GSL (the GNU Scientific Library) binding for Rust
Language:Rust2 0
mokus0/rust-soapysdr
Rust bindings for SoapySDR, the vendor-neutral software defined radio hardware abstraction layer
Language:Rust2 0
mokus0/samytools
Simple tools to make reverse engineering and console cowboying easier, primarily by data translation and manipulation + file handle piping. Mostly *nix tools with an emphasis on macOS.
Language:Perl1 0
mokus0/serialport
Cross platform haskell library for using the serial port
Language:Haskell1 0
mokus0/shake-language-c
Cross-compilation framework based on the Shake Haskell library.
Language:Haskell2 0
mokus0/SoapySDR
Vendor and platform neutral SDR support library.
Language:C++2 0
mokus0/worksheets
some worksheets for my kids
Language:Haskell1 0