zlrth

clojerl

Clojure for the Erlang VM (unofficial)

tex-oberon

Make Project Oberon Pretty Again

initial-v

It's a BMW shifter converted to a Bluetooth Keyboard that you use with Vim

heliotrope

A lisp with support for fexprs and interpreter collapsing

gpu.js

GPU Accelerated JavaScript

clj-otel

An idiomatic Clojure API for adding telemetry to your libraries and applications using OpenTelemetry.

pyaranet4

A cross-platform Python interface for the Aranet4 CO₂ meter

wasm.cljc

Spec compliant WebAssembly compiler, decompiler, and generator

bakelite

Incremental backup with strong cryptographic confidentiality baked into the data model.

arraylanguage-companies

A List of companies that use Array Languages (J, K, APL, q)

LISP-Machine

Archive of LISP Machine, Inc.

neut

A dependently-typed programming language with static memory management

j-incunabulum

shorshe

freshly-fermented, dependently-typed mustard, with a substructural aftertaste

mole

Elisp packrat parser generator

darch

A tool for building and booting stateless and immutable images, bare metal.

fast-scroll

Emacs package to ensure scrolling remains fast

Arend

The Arend Proof Assistant

ShenPrelude

Prelude library for Shen

cubicaltt

Experimental implementation of Cubical Type Theory

corona

Clojure Solr 8 wrapper

deep-book-clojure

MXNet Clojure version of the code for the "Neural Networks and Deep Learning" free book

clj-autograd

Autograd experiments in Clojure.

sexp-diff

S-expression-aware diffing tool based on Levenshtein-like tree edit distance.

partial-evaluation-tutorial

Racket implementation of Cook and Lämmel's partial evaluation tutorial.

special

Special (Conditions). A condition system for Clojure

Gen.jl

A general-purpose probabilistic programming system with programmable inference

cql

CQL: Categorical Query Language implementation in Haskell

urbit-wiki

Wiki for urbit

ubik

Coordination Language