echatav Goto Github PK
Name: Eitan Chatav
Type: User
Name: Eitan Chatav
Type: User
Haskell 98 contravariant functors
Create a simple bot to play the game "2048", using the web testing framework Canopy!
Elliptic Curve Cryptography in Haskell
To err is human.
Generic Programming using True Sums of Products
Fork of official GHC repository.
Category theory for Haskell with a lens flavor
Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
Exhaustive pattern matching using lenses, traversals, and prisms
An efficient PostgreSQL driver and a flexible mapping API
This package provides a MySQL driver for Haskell's HDBC library, implemented via bindings to the C mysqlclient library.
Web3 API for Haskell.
Catchy combinators for HUnit
Interval Arithmetic
Provides Int128, Int192 and Int256 and a way of producing other large ints if required.
monad-logger for syslog
A monad transformer and corresponding type class for computations which consume random values.
A formalization of monoidal e-categories and e-categories-with-families (e-CWFs) in Agda
Website for Morphism, LLC
Open-Transactions allows users to issue and manipulate digital assets. Users may create many pseudonyms (public keys), each of which may own asset accounts of various types. Users can transfer digital assets securely between accounts (even a server cannot change balances or forge transactions.) Users can also operate “cash-only” (without accounts) for maximum anonymity. Open-Transactions also implements higher-level, contract-based transactions such as payment plans and markets with trades. The markets on Open-Transactions support market orders, limit orders, fill-or-kill orders, day orders, stop orders, and stop limits, just like trading on a real market. OT also supports basket currencies. All of this is accomplished in such a way that all parties are able to prove, at all times, which transactions have cleared and which instruments are authorized, without having to store their entire transaction history, but instead by merely keeping the last signed receipt.
BIP 70, 71 & 72 from the Bitcoin Payment Protocol
Blog post previews in need of peer review
Example of Asynchronous code in Purescript
PureScript library for monad transformers.
Python Example
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.