Akhilesh Srikanth's repositories
PL-reading-list
List of PL papers I find interesting.
agda-experiments
write me some agda.
benchmarks
Benchmarks for various Scala streaming and task libraries
build-your-own-x
🤓 Build your own (insert technology here)
flycheck-elsa
Flycheck integration for Elsa---Emacs lisp static analyzer
hammerspoon
Staggeringly powerful OS X desktop automation with Lua
matryoshka
Generalized recursion schemes and traversals for Scala.
purescript-profunctor-lenses
Pure profunctor lenses
sbt-semantic-example
Minimal template to play with the scala.meta semantic API
scala-native
Your favourite language gets closer to bare metal.
stalagmite
optimised alternative to case classes
tree-sitter
An incremental parsing system for programmings tools