Expected L0 Loss Regularization for Sparse Autoencoders
Repository
Repository di joelburget
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Selected Papers of Dana S. Scott
Haskell bindings to SDL2_gfx
Haskell bindings to sdl_image for SDL 2
Haskell bindings for SDL(2)-ttf
Interactive, client-side web apps in Haskell
Implementation of "Simplicity: A New Language for Blockchains"
Public Slack organizations made easy
A completely customizable framework for building rich text editors.
SLiM + slock = slimlock
Do you hate yourself? Render handlebars templates in Python.
The Solidity Contract-Oriented Programming Language
Official SoundCloud Javascript SDK
"Stable Hackage": vetted consistent packages from Hackage
Full CSS support for JSX without compromises
The grass is always greener!