phadej Goto Github PK
Name: Oleg Grenrus
Type: User
Company: Well-Typed LLP
Location: Helsinki, Finland
Blog: https://oleg.fi/
Name: Oleg Grenrus
Type: User
Company: Well-Typed LLP
Location: Helsinki, Finland
Blog: https://oleg.fi/
Haskell interface to the Online Encyclopedia of Integer Sequences
Oleg's Language I
The 1-tuple type or single-value "collection"
A list of companies that sponsor open source software
Implement monads by specifying instructions and their desired operational semantics.
Operational for sum
Optics library for JavaScript
Applicative option parser
Overloaded plugin
Web app to track lagging package dependencies.
parser-combinator library (using GLL) for coffeescript / javascript
a library for parallel programming
Generic parser combinators
Partial lenses is a comprehensive, high-performance optics library for JavaScript
A library for patches (diffs) on vectors, composable and invertible
Library for representing and manipulating type-safe file paths
Persistence interface for Haskell allowing multiple storage methods.
Translate between binary data and a human-readable collection of words.
Some of my packages in a monorepository
memcached extension based on libmemcached library
Random and uncomplete stuff.
The Plutus language implementation and tools
pointed and copointed data
Heroku helpers for pulmurice server
"Preload" Haskell packages to override them
Decision procedures for Presburger arithmetic in Haskell
The Prettiest Printer
Haskell Pretty-printer library
Tools for working with derived Show instances in Haskell.
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.