Pinned Repositories
agda-feit-higman-theorem
Formalization of Feit Higman Theorem - v 2.0
algorithms
Learning Algorithms
balajirrao.github.io
blog
compilers
Toy Compilers
course
Functional Programming Course
eta
A Haskell to JVM compiler that supports GHC Haskell.
kafka-streams-multi-runner
PyChaitin
Demonstration of Chaitin's incompleteness in Python
qm_progs
Repository of some python programs for simulation of quantum systems
balajirrao's Repositories
balajirrao/eta
A Haskell to JVM compiler that supports GHC Haskell.
balajirrao/kafka-streams-multi-runner
balajirrao/algorithms
Learning Algorithms
balajirrao/blog
balajirrao/compilers
Toy Compilers
balajirrao/encore
Core utils library for Clojure/Script
balajirrao/generic-lens
Generically derive traversals, lenses, and prisms.
balajirrao/ghcjs
Haskell to JavaScript compiler, based on GHC
balajirrao/git-carve-up
Split a commit into multiple commits in git
balajirrao/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
balajirrao/kafka
Mirror of Apache Kafka
balajirrao/kubernetes-app
A set of dashboards and panels for kubernetes.
balajirrao/live-server
A simple development http server with live reload capability.
balajirrao/logger
A fast logging system for Haskell
balajirrao/micronaut-core
Micronaut Application Framework
balajirrao/mini-grin
ICFP tutorial
balajirrao/nix-pills
balajirrao/Olifant
A simple programming language targeting LLVM
balajirrao/open
Filopodia open-source monorepo
balajirrao/prelude
Prelude is an enhanced Emacs 24 distribution that should make your experience with Emacs both more pleasant and more powerful.
balajirrao/purescript
A small strongly typed language that compiles to Javascript
balajirrao/scheje
A little scheme implementation on top of Clojure
balajirrao/spacemacs
An Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
balajirrao/streamz
Real-time stream processing for python
balajirrao/test-notes
balajirrao/todoist-term
Todoist in TUI
balajirrao/unison
A friendly programming language from the future
balajirrao/wrk
Modern HTTP benchmarking tool
balajirrao/zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
balajirrao/zio-telemetry
ZIO-powered OpenTelemetry library