A small clojure tool for making little control UIs while using the repl!

An alternate syntax for Clojure inspired by Pollen.

My bachelor thesis

A template set for writing semantics in LaTeX

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

A common ground for better Clojure REPLs

In the spec table

Union Types (ADTs, sum types) built on clojure.spec

Prototype smart text editor

Analyze how a Git repo grows over time

A Clojure Development Environment package for the Atom editor

A fast GraphQL Parser for Clojure

complexity testing for haskell

Recompile Java code without restarting the REPL

Chez Scheme

simple graph and tree visualization

Staged compilation for Clojure through environment & special-form aware syntax-quoting.

Lean Hash Array Mapped Trie implementation in ClojureScript

DOrder -- Automatically Learning Shape Specifications

A playground for type theory implementations in Racket

Concurrent Contracts

core.typed annotations for the clojure.tools.logging library

irc as a rest service

Converts Typed Clojure types to Prismatic Schemas for runtime checking

Mirror of core.typed for internal development.

Dependency inlining and shadowing

A project encompassing various Thamil language-specific computing ideas

node.js client for a Clojure nrepl server.

Pledge your respect and appreciation for contributors of all kinds to your open source project.

An embedding of miniKanren in Shen.