Skip to content
View zlrth's full-sized avatar

Organizations

@Stylitics @catapultpgh @pghfp

Block or report zlrth

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Clojure for the Erlang VM (unofficial)

Erlang 1,667 42 Updated Jan 7, 2025

Make Project Oberon Pretty Again

TeX 192 8 Updated Jan 9, 2024

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

C++ 1,003 9 Updated Oct 1, 2023

A lisp with support for fexprs and interpreter collapsing

Clojure 37 1 Updated Jan 12, 2019

GPU Accelerated JavaScript

JavaScript 15,210 662 Updated Feb 22, 2024

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

Clojure 206 14 Updated Jul 22, 2024

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

Python 47 8 Updated Jul 23, 2024

Spec compliant WebAssembly compiler, decompiler, and generator

Clojure 253 2 Updated Apr 15, 2021

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

C 130 4 Updated Oct 18, 2023

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

98 6 Updated Mar 15, 2024

Archive of LISP Machine, Inc.

Common Lisp 268 33 Updated Nov 18, 2020

A programming language with static memory management based on λ-calculus

Haskell 992 13 Updated Mar 14, 2025

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

Haskell 31 Updated Mar 31, 2020

Elisp packrat parser generator

Emacs Lisp 4 Updated Aug 25, 2018

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

Go 836 32 Updated Nov 13, 2023

Emacs package to ensure scrolling remains fast

Emacs Lisp 88 5 Updated Oct 16, 2019

The Arend Proof Assistant

Java 710 33 Updated Feb 25, 2025

Prelude library for Shen

Shen 4 Updated May 24, 2020

Experimental implementation of Cubical Type Theory

Haskell 576 76 Updated Sep 21, 2023

Clojure Solr 8 wrapper

Clojure 20 4 Updated Jul 21, 2023

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

Clojure 2 Updated Jul 9, 2019

Autograd experiments in Clojure.

Clojure 17 Updated Oct 11, 2017

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

Racket 22 4 Updated Mar 9, 2021

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

Racket 31 5 Updated Aug 7, 2012

Special (Conditions). A condition system for Clojure

Clojure 161 7 Updated Sep 21, 2018

A general-purpose probabilistic programming system with programmable inference

Julia 1,810 162 Updated Nov 4, 2024

CQL: Categorical Query Language implementation in Haskell

Haskell 169 15 Updated Apr 14, 2023

Wiki for urbit

JavaScript 10 3 Updated Mar 10, 2018

Coordination Language

Clojure 10 1 Updated Apr 22, 2019
Next