philomates Goto Github PK

.dot_files

linux config files

black-hole-analysis

A Coq model for STLC with black holes used for modular program analysis

cats

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

clerk

Local-First Notebooks for Clojure

clojure-lsp

Language Server (LSP) for Clojure

clojure-mode

Clojure/Script mode for CodeMirror 6

compliment

The Clojure completion library you deserve

conjure

Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile)

cps-from-stlc-to-sysf

Modeling a CPS translation from STLC to System F in Coq using Locally Nameless

dalvik-abstract-interpreter

Abstract Interpreter for Dalvik bytecode

derpy

Python3 lexing and parsing with derivatives

dotvim

Vim Config files

ecpp-aks-primality-proving

3 Primality Proving Implementations: ECPP, AKS, and a hybrid of the two

eql

EQL is a declarative way to make hierarchical (and possibly nested) selections of information about data requirements. This repository contains the base specs and definitions for EQL parsing, AST, etc.

fennel-on-norns

example of how to program Norns scripts in Fennel

grasp

Grep Clojure code using clojure.spec regexes.

hato

An HTTP client for Clojure, wrapping JDK 11's HttpClient

inside-out

A Clojure forms library.

kaocha

Full featured next gen Clojure test runner

lambda-calculus-in-java

lein-ancient

Check your Projects for outdated Dependencies

leiningen

Automate Clojure projects without setting your hair on fire.

lucene-clj

A Clojure wrapper for Apache Lucene.

maiden

web based editor and repl for norns

matcher-combinators

Library for creating matcher combinator to compare nested data structures

midje

Midje provides a migration path from clojure.test to a more flexible, readable, abstract, and gracious style of testing

mockfn

A mocking library for Clojure.

nippy

High-performance serialization library for Clojure

norns

norns is many sound instruments.

overtone

Collaborative Programmable Music