Beast code in Giters

meipp's starred repositories

An SMT Solver for string constraints

Language:ScalaNOASSERTION3300

sending random remainders to be more healthy

Language:Rust200

⏰ Day.js 2kB immutable date-time library alternative to Moment.js with the same modern API

Language:JavaScriptMIT4654300

Bézier curves, Voronoi Regions and Delaunay Triangulations

Language:PythonMIT800

(big refactor ongoing ETA Mid 2024) An blackbox approach to I/O modelling.

Language:RustMIT500

Programming learning platform for C and Python

Language:SvelteMIT700

Implementation of Brzozowski's algorithm in Haskell

Language:Haskell200

My Workflow Configuration since 2017

Language:LuaUnlicense500

Logistic Disjunctive Neural Network

Language:CBSD-2-Clause100

A Python library for automating interaction with websites.

Language:PythonMIT462100