Hindley-Milner Type Inference Algorithm in OCaml
Does the same job
all alternatives →- APA Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134
- KAKoda, a typesafe functional toolkit for Python2022 · pypi.org · ▲110
- BABrancher – A user-friendly PyTorch module for probabilistic inference2019 · brancher.org · ▲96
- PAPoica – Algebraic data types and type introspection for pure C2020 · github.com · ▲116
- PAPySchemes – A library for validating data structures in Python2017 · github.com · ▲94
- LALambdaNet – A functional neural network library written in Haskell2014 · github.com · ▲56
More life & fun this month
the category →- TL
Life & fun · 10d ago · louisabraham.github.io
Photosynthesis fires two of your iPhone
Life & fun · 28d ago · photosynthesis.camera
SoloUno▲310Take control of hair pulling, nail biting & skin picking
Life & fun · 28d ago · solouno.io
Scroll through all 43,252,003,274,489,856,000 reachable Rubik's Cube permutations.
Life & fun · 26d ago · everycube.alen.is
Hi HN, I built Eigendrum, a web tool that solves the 2D wave equation for arbitrary shapes so you can hear what they sound like as drums. How it works: * Solves -∇²u = λu using finite element analysis (Kφ = λMφ) on a triangle mesh. * Validated to <0.1% error against closed-form solutions for circles (Bessel zeros) and rectangles. * Sound model factors in strike location, Rayleigh damping, and mallet width. * Includes Kac drums I & II to demonstrate identical sound spectra from different geometries. * No frameworks, build steps, or dependencies. Repo and tests:…
Life & fun · 26d ago · baselashraf81.github.io
Launched alongside, April 2016
the whole month →
Access all the files on Dropbox without having to sync
Work · 2016 · blog.dropbox.com
- IM
Life & fun · 2016 · hackerthemes.com
The easiest way to build an FB bot. No coding required!
Dev tools · 2016