Pinned Repositories
dtlc.rs
Rust implementation of a dependently typed λ-calculus
fourier-feature-networks
Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains
HashLife
An Algorithm for Compressing Space and Time
ledger.fs
Simple command-line, double-entry accounting in F#. Excel and text output.
ledger.py
Command-line, double-entry accounting in python. Excel and text output.
stoneknifeforth
a tiny self-hosted Forth implementation
zfs-snapshot-disk-usage-matrix
ZFS snapshot disk space usage accounting (Where did all my disk space go?!)
mafm's Repositories
mafm/ledger.py
Command-line, double-entry accounting in python. Excel and text output.
mafm/3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
mafm/antimony
CAD from a parallel universe
mafm/Archive.org-Downloader
Python3 script to download archive.org books in PDF format
mafm/christianp-aperiodic-monotile
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
mafm/cimgui
c-api for imgui (https://github.com/ocornut/imgui) Look at: https://github.com/cimgui for other widgets
mafm/cleanrl
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
mafm/CORL
High-quality single-file implementations of SOTA Offline RL algorithms: AWAC, BC, CQL, DT, EDAC, IQL, SAC-N, TD3+BC, LB-SAC
mafm/CurvedShapesWorkbench
FreeCAD Workbench for creating 3D shapes from 2D curves
mafm/deadsy-sdfx
A simple CAD package using signed distance functions
mafm/dghosef-qdbp
mafm/diy-spacemouse
A DIY navigation device for Fusion360
mafm/ilsonWangTHU-POPLIN
mafm/klipper
Klipper is a 3d-printer firmware
mafm/learning-to-fly
Training transferable end-to-end quadrotor control policies on a laptop in 18 seconds.
mafm/lpy
Minimal Python IDE for GNU Emacs
mafm/neut
A dependently-typed programming language with compile-time malloc/free determination
mafm/org-margin
Outdent headlines in emacs org-mode
mafm/oXs_on_RP2040
version of openXsensor to be used for expressLRS
mafm/pwm-moisture-sensor
mafm/raylib-extras-rlImGui
A Raylib integration with DearImGui
mafm/sdfray
Python rendering framework for signed distance function geometries
mafm/smalltt
Demo for high-performance type theory elaboration
mafm/sonarsonic-DrawingBotV3
DrawingBotV3 is a software for creating line drawings from Images
mafm/soypat-sdf
A Go library for signed distance function shape generation.
mafm/ssloy-tinyraytracer
A brief computer graphics / rendering course
mafm/ssloy-tinyrenderer
A brief computer graphics / rendering course
mafm/tinylisp
Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
mafm/yeicor-sdf-viewer
A fast and cross-platform Signed Distance Function (SDF) viewer, easily integrated with your SDF library.
mafm/yeicor-sdf-viewer-go
SDF Viewer integration for Go libraries