Bronsa

CinC

[MOVED] Clojure compiler in Clojure

tools.decompiler

A decompiler for clojure, in clojure

neurotic

Traits support to clojure's deftype and defrecord, as a library

tools.analyzer.jvm.deps

Utility functions for clojure (static) code dependency analysis

tools.decompiler-aot

clojure

The Clojure programming language

dotfiles

my dotfiles

pwl-ukanren-talk

tools.analyzer.jvm.index

Import tools.analyzer.jvm AST in Datomic

.emacs.d

batsat

A Rust SAT solver originally based on MiniSat

clj-usage-graph

Haxy usage graphs for Clojure projects

CLJS-1.9.473-regression

core.async

Facilities for async programming and communication in Clojure

eastwood

lastgraph

plot last.fm scrobbles

merlin

Context sensitive completion for OCaml in Vim and Emacs

ocaml-decoders

Elm-inspired decoders for Ocaml

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

tools.analyzer

An analyzer for Clojure code, written in Clojure and producing AST in EDN

tools.analyzer.jvm

additional jvm-specific passes for tools.analyzer

tools.reader

Clojure reader in Clojure

z3

The Z3 Theorem Prover

z3-oom-repro

ocaml-containers

A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.

ocaml-linenoise

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

opam-depext

Attempt to automate the installation of system packages required by OPAM packages

reason-react

Reason bindings for ReactJS

telegram-purple

Adds support for Telegram to Pidgin, Adium, Finch and other Libpurple based messengers.