akhileshs

San Francisco, CA

Pinned Repositories

agda-experiments
write me some agda.
Language:Agda0 2 00
alda
A music programming language for musicians. :notes:
Language:Clojure0 2 00
Ammonite
Scala Scripting
Language:Scala0 2 00
automat
better automata through combinators
Language:Clojure0 2 00
core.typed
An optional type system for Clojure
Language:Clojure1 2 00
dotemacs
.emacs
Language:Emacs Lisp1 2 00
PL-reading-list
List of PL papers I find interesting.
2 2 00
scalameta
Simple, robust and portable metaprogramming toolkit for Scala
Language:Scala2 2 00
tyML
toy ML-like language.
Language:Scala2 2 00
XML_Interpolator
XML String Interpolator for Scala
Language:Scala6 3 01

akhileshs's Repositories

akhileshs/PL-reading-list
List of PL papers I find interesting.
2 2 00
akhileshs/scalameta
Simple, robust and portable metaprogramming toolkit for Scala
Language:Scala2 2 00
akhileshs/dotemacs
.emacs
Language:Emacs Lisp1 2 00
akhileshs/agda-experiments
write me some agda.
Language:Agda0 2 00
akhileshs/Ammonite
Scala Scripting
Language:Scala0 2 00
akhileshs/automat
better automata through combinators
Language:Clojure0 2 00
akhileshs/benchmarks
Benchmarks for various Scala streaming and task libraries
Language:Scala2 0
akhileshs/browse
A Scala source code browser
Language:Scala2 0
akhileshs/build-your-own-x
🤓 Build your own (insert technology here)
2 0
akhileshs/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell2 0
akhileshs/cbt
CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala
Language:Scala2 0
akhileshs/dotty
Research platform for new language concepts and compiler technologies for Scala.
Language:Scala2 0
akhileshs/eglot
A client for Language Server Protocol servers
Language:Emacs Lisp2 0
akhileshs/Elsa
Emacs Lisp Static Analyzer
Language:Emacs Lisp2 0
akhileshs/flycheck-elsa
Flycheck integration for Elsa---Emacs lisp static analyzer
Language:Emacs Lisp2 0
akhileshs/hammerspoon
Staggeringly powerful OS X desktop automation with Lua
Language:Objective-C2 0
akhileshs/magithub
Magit interfaces for GitHub
Language:Emacs Lisp2 0
akhileshs/matryoshka
Generalized recursion schemes and traversals for Scala.
Language:Scala2 0
akhileshs/Mu
It's a Swift playground explaining how to create a tiny programming language named Mu
Language:Swift2 0
akhileshs/purescript-profunctor-lenses
Pure profunctor lenses
Language:PureScript2 0
akhileshs/reason
A meta language toolchain to build systems rapidly
Language:OCaml2 0
akhileshs/refined
Simple refinement types for Scala
Language:Scala2 0
akhileshs/sbt-semantic-example
Minimal template to play with the scala.meta semantic API
Language:Scala2 0
akhileshs/scala-native
Your favourite language gets closer to bare metal.
Language:Scala2 0
akhileshs/scalaz
An extension to the core Scala library for functional programming.
Language:Scala2 0
akhileshs/sleight
whole-program transformations in clojure
Language:Clojure2 0
akhileshs/snek
v2.x.y-beta An experimental system for writing generative systems.
Language:Common Lisp2 0
akhileshs/stalagmite
optimised alternative to case classes
Language:Scala2 0
akhileshs/tree-sitter
An incremental parsing system for programmings tools
Language:C++2 0
akhileshs/z3
The Z3 Theorem Prover
Language:C++2 0