dsainati1

Pinned Repositories

babel
🐠 Babel is a compiler for writing next generation JavaScript.
Language:TypeScript43.2k 810 8.9k5.6k
lambdalab
interactive λ-calculus for learning
Language:TypeScript35 4 23
babel
🐠 Babel is a compiler for writing next generation JavaScript.
Language:JavaScript0 0 00
cerberus
Cerberus C semantics
Language:OCaml00
flow-for-vscode
Flow for Visual Studio Code
Language:JavaScript0 0 00
maxflow
An implementation of Ford-Fulkerson/Edmonds-Karp in OCaml
Language:OCaml1 0 00
flow
Adds static typing to JavaScript to improve developer productivity and code quality.
Language:OCaml22.1k 388 6.7k1.9k
cadence
Cadence, the resource-oriented smart contract programming language 🏃‍♂️
Language:Go532 43 965139
flow-go
A fast, secure, and developer-friendly blockchain built to support the next generation of games, apps, and the digital assets that power them.
Language:Go531 48 1.1k176
prettier
Prettier is an opinionated code formatter.
Language:JavaScript49.2k 421 6.6k4.3k

dsainati1's Repositories

dsainati1/maxflow
An implementation of Ford-Fulkerson/Edmonds-Karp in OCaml
Language:OCaml1 0 00
dsainati1/babel
🐠 Babel is a compiler for writing next generation JavaScript.
Language:JavaScript0 0 00
dsainati1/cerberus
Cerberus C semantics
Language:OCaml00
dsainati1/flow-for-vscode
Flow for Visual Studio Code
Language:JavaScript0 0 00
dsainati1/KAT
Implementation of an equality checker for two expressions in Kleene Algebra (Final Project for CS 6861)
Language:OCaml0 0 00
dsainati1/oauth2orize
OAuth 2.0 authorization server toolkit for Node.js.
Language:JavaScript0 0 00
dsainati1/website
web site
Language:HTML