telser Goto Github PK
Name: Trevis Elser
Type: User
Company: @flipstone
Location: Pumpkinland, Planet Pumpkin
Name: Trevis Elser
Type: User
Company: @flipstone
Location: Pumpkinland, Planet Pumpkin
:curly_loop: Split Morphisms
Mid-level bindings for sqlite
ST2 monad as described in the functional pearl "Ghosts of Departed Proofs"
The Haskell Tool Stack
Builds haddock documentation with stack and creates a gh-pages branch with it.
"Stable Hackage": vetted consistent packages from Hackage
Content for the stackage.org site
A fast, high quality library for computing with statistics in Haskell.
Implicit monadic dataflow parallelism
Common lower-level functions needed by various streaming data libraries
🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
Fork of http://patch-tag.com/r/Saizan/syb-with-class
Haskell 98 monad transformer adding a phantom type argument
lenses, folds, traversals, prisms for taggy
Tasty trees for your lawful class instances
Haskell library for space- and time-efficient operations over Unicode text.
A time library
Compatibility package for time
Analyst's swiss army knife for visualizing data from ad-hoc log files
🏝 Bidirectional TOML serialization
My sandbox for experimenting with solver algorithms.
Monadic effects in Haskell with transformer transformers
Haskell library for monadic tree search.
Tribblix build scripts
Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
A haskell typeclass that includes ALL types.
An equational theorem prover based on Knuth-Bendix completion
Twitter API package for Haskell, including enumerator interfaces and Streaming API supports.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.