akhileshs Goto Github PK

agda-experiments

write me some agda.

alda

A music programming language for musicians. :notes:

ammonite

Scala Scripting

automat

better automata through combinators

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

awesome-talks

benchmarks

Benchmarks for various Scala streaming and task libraries

browse

A Scala source code browser

build-your-own-x

🤓 Build your own (insert technology here)

byootiful-fractals

Experiments with fractals.

cabal

Official upstream development repository for Cabal and cabal-install

carmine

Clojure Redis client & message queue

cats

cbt

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

clj-editd

Basic implementation of edit-distance.

compojure

A concise routing library for Ring/Clojure

core.typed

An optional type system for Clojure

cppsamples-samples

A repository of modern C++ samples curated by the community.

cube-composer

A puzzle game inspired by functional programming

dogs

data structures for pure functional programming in scala. see the completely incomplete documentation website:

dotemacs

.emacs

dotty

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

eglot

A client for Language Server Protocol servers

elsa

Emacs Lisp Static Analyzer

ensime-server

ENSIME JVM Process

ensime.github.io

ENSIME Documentation

fluokitten

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

flycheck-elsa

Flycheck integration for Elsa---Emacs lisp static analyzer

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

h-99

My solutions to the Ninety-Nine Haskell problems