Mathnerd314

watchman

AML/CTF/KYC/OFAC Search of global watchlist and sanctions

zen

Simple, free and efficient ad-blocker and privacy guard for Windows, macOS and Linux

nixpkgs

Nix Packages collection & NixOS

toysolver

My sandbox for experimenting with solver algorithms.

rhythmr

Semi-Automated Audio Loops

Fetching-Financial-Data

Fetching financial data for technical & fundamental analysis and algorithmic trading from a variety of python packages and sources.

fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

awesome

A curated list of awesome projects

martin-lof

papers of Per Martin Löf

implicit-fun-elaboration

Implementation for ICFP 2020 paper

kitten

A statically typed concatenative systems programming language.

femtolisp

a lightweight, robust, scheme-like lisp implementation

RML

ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.

dsubml

OCaml implementation of DSub, a ML like language with subtyping and path dependent types.

ccxt

A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges

buildsome

Buildsome: The awesome build system

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Euterpea2

Euterpea version 2

SymSpell

SymSpell: 1 million times faster spelling correction & fuzzy search through Symmetric Delete spelling correction algorithm

WiFislam

Android WiFi capturing and indoor localization using SLAM

enso-launcher-continued

IHaskell

A Haskell kernel for the Jupyter project.

comfort_tool

CBE Thermal Comfort Tool for ASHRAE-55

drvdiff

Shows differences between Nix derivations.

rc-flight

Hybrid Python/C++ flight control, flight data, and autopilot system.

senslogs

Android app to monitor internal sensors (gyroscope, accelerometer, magnetic field, linear acc ...)

jd-gui

A standalone Java Decompiler GUI

zathura-pdf-mupdf

PDF support (mupdf backend) for zathura

wreq

fyp

Final year project