akhileshs Goto Github PK
Name: Akhilesh Srikanth
Type: User
Location: San Francisco, CA
Name: Akhilesh Srikanth
Type: User
Location: San Francisco, CA
A static website compiler library in Haskell
Staggeringly powerful OS X desktop automation with Lua
Haskell papers optimized for my e-reader.
A minimal, idiomatic Scala interface for HTTP
Magit interfaces for GitHub
Generalized recursion schemes and traversals for Scala.
Basic minesweeper solver
Optics library for Scala
Monads to machine code
It's a Swift playground explaining how to create a tiny programming language named Mu
CodeForces and TopCoder Solutions
Collaborative Programmable Music
List of PL papers I find interesting.
Pure profunctor lenses
Automatic testing of Haskell programs.
Reactor is the firmware generator part of Fusion
A meta language toolchain to build systems rapidly
Simple refinement types for Scala
sbt, a build tool for Scala
Minimal template to play with the scala.meta semantic API
The Scala programming language
Scala IDE for Eclipse
Your favourite language gets closer to bare metal.
Opinionated code formatter for Scala
Simple, robust and portable metaprogramming toolkit for Scala
An extension to the core Scala library for functional programming.
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
whole-program transformations in clojure
v2.x.y-beta An experimental system for writing generative systems.
The Haskell Tool Stack
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.