yogeshsajanikar
A passionate functional programmer with a intention to do verified programming
Pune, India
Pinned Repositories
angular-template-for-threejs
Angular Template For Three.js
awesome-courses
:books: List of awesome university courses for learning Computer Science!
heroku-buildpack-haskell-stackage
Build haskell package with stackage
hspark
A port of Apache Sparks to Haskell using distributed process
ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
rayfun
A functional wrapper over ray.io framework
stl
Standard Tessellation Language Reader and Viewer
three-draco3d
ThreeJS loader for draco3d
yogeshsajanikar's Repositories
yogeshsajanikar/three-draco3d
ThreeJS loader for draco3d
yogeshsajanikar/angular-template-for-threejs
Angular Template For Three.js
yogeshsajanikar/ouroboros-consensus
Implementation of a Consensus Layer for the Ouroboros family of protocols
yogeshsajanikar/rayfun
A functional wrapper over ray.io framework
yogeshsajanikar/async-functional
A functional approach to deal with async generators
yogeshsajanikar/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
yogeshsajanikar/cds-pg
PostgreSQL adapter for SAP CDS (CAP)
yogeshsajanikar/dwt
yogeshsajanikar/Examples
A collection of TLA+ specifications of varying complexities
yogeshsajanikar/flinkrunner
A library to support building a coherent set of flink jobs
yogeshsajanikar/fp-ag-ts
Functional approach to attribute grammar
yogeshsajanikar/FsLexYacc
Lexer and parser generators for F#
yogeshsajanikar/hs-certificate
Certificate and Key Reader/Writer in haskell
yogeshsajanikar/hype
A Hy and Python based implementation of type classes and ray
yogeshsajanikar/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
yogeshsajanikar/ld-r
Linked Data Reactor (LD-R)
yogeshsajanikar/libnabo
A fast K Nearest Neighbor library for low-dimensional spaces
yogeshsajanikar/libpointmatcher
An "Iterative Closest Point" library for 2-D/3-D mapping in Robotics
yogeshsajanikar/ml-tutorial
Introduction to ML packages for the 6.86x course
yogeshsajanikar/NAB
The Numenta Anomaly Benchmark
yogeshsajanikar/odata
ODATA implementation in rust (with support for wasm)
yogeshsajanikar/odatalibs
A suite of libraries for working with odata
yogeshsajanikar/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
yogeshsajanikar/reglearn
Learning WebGL with regl
yogeshsajanikar/sketches
yogeshsajanikar/sqlalchemy_marklogic
Marklogic dialect for SQLAlchemy
yogeshsajanikar/talent-plan
open source training courses about distributed database and distributed systems
yogeshsajanikar/terraform-provider-aws
Terraform AWS provider
yogeshsajanikar/wai-thrift
Wai wrapper for thrift transport
yogeshsajanikar/yogeshsajanikar
Profile Repository