Akhilesh Srikanth (akhileshs)

akhileshs

Geek Repo

Location:San Francisco, CA

Github PK Tool:Github PK Tool

Akhilesh Srikanth's repositories

PL-reading-list

List of PL papers I find interesting.

scalameta

Simple, robust and portable metaprogramming toolkit for Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0

dotemacs

.emacs

Language:Emacs LispStargazers:1Issues:2Issues:0

agda-experiments

write me some agda.

Language:AgdaStargazers:0Issues:2Issues:0

Ammonite

Scala Scripting

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

automat

better automata through combinators

Language:ClojureStargazers:0Issues:2Issues:0

benchmarks

Benchmarks for various Scala streaming and task libraries

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

browse

A Scala source code browser

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

build-your-own-x

🤓 Build your own (insert technology here)

Stargazers:0Issues:2Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cbt

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dotty

Research platform for new language concepts and compiler technologies for Scala.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

eglot

A client for Language Server Protocol servers

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

Elsa

Emacs Lisp Static Analyzer

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

flycheck-elsa

Flycheck integration for Elsa---Emacs lisp static analyzer

Language:Emacs LispStargazers:0Issues:2Issues:0

hammerspoon

Staggeringly powerful OS X desktop automation with Lua

Language:Objective-CLicense:MITStargazers:0Issues:2Issues:0

magithub

Magit interfaces for GitHub

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:2Issues:0

matryoshka

Generalized recursion schemes and traversals for Scala.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

Mu

It's a Swift playground explaining how to create a tiny programming language named Mu

Language:SwiftStargazers:0Issues:2Issues:0

purescript-profunctor-lenses

Pure profunctor lenses

Language:PureScriptLicense:MITStargazers:0Issues:2Issues:0

reason

A meta language toolchain to build systems rapidly

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

refined

Simple refinement types for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

sbt-semantic-example

Minimal template to play with the scala.meta semantic API

Language:ScalaStargazers:0Issues:2Issues:0

scala-native

Your favourite language gets closer to bare metal.

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

scalaz

An extension to the core Scala library for functional programming.

Language:ScalaStargazers:0Issues:2Issues:0

sleight

whole-program transformations in clojure

Language:ClojureStargazers:0Issues:2Issues:0

snek

v2.x.y-beta An experimental system for writing generative systems.

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:2Issues:0

stalagmite

optimised alternative to case classes

Language:ScalaLicense:LGPL-3.0Stargazers:0Issues:2Issues:0

tree-sitter

An incremental parsing system for programmings tools

Language:C++License:MITStargazers:0Issues:2Issues:0

z3

The Z3 Theorem Prover

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0