jafingerhut/tlaplus-learning

Stars
1
Language
HTML
Created about 3 years ago
Updated about 3 years ago

jafingerhut/tlaplus-learning

jafingerhut

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Resources I used to help me learn TLA+

p4-guide

Guide to p4lang repositories and some other public info about P4

thalia

A collection of documentation for Clojure symbols

jafingerhut.github.com

clojure-benchmarks

Benchmark programs in Clojure, Java, and several other languages, for performance comparison

cljol

Experimental code using Java Object Layout (JOL) from Clojure

funjible

Almost, but not quite, exactly like Clojure core libraries

batman

Not A Number details, focused on Java and Clojure

benchmarks

Some simple benchmark programs for testing CPU core, cache, and main memory performance

dolly

Clojure namespace cloner

p4lang-tests

Some sample P4 programs and notes

dontstop

Stopping evaluations of Clojure expressions, and potential consequences

p4-namespaces

A public repo for discussion of adding namespaces to the P4 programming language

toylang-lsp

A Language Server Protocol (LSP) server for a toy programming language, implemented in Clojure

core.btree-vector

B-Tree implementation of Clojure vectors with efficient subvec and concatenation operations

rebl-experiments

Try out several ways of starting Cognitect REBL to see which ones work, recording results

haironfire

Some code for examining some properties of published software projects that use Leiningen

timegraphs

Experiments in code for creating interactive time-based graphs of numerical data

text.unicode

Some Clojure functions & macros for dealing with Unicode strings.

approxsemver

Proposed mock serious description of approximate semantic versioning, the industry de facto standard

catch-bad-unit-test

A tiny test repository to exercise an incorrectly written Clojure unit test

p4-todo

jdk-hsdis

How to compile hsdis library for at least some JDK versions

lpc10

An implementation in Fortran and C of the LPC-10 2400 bits-per-sec speech codec

cljs-3162-sample-project

A sample Clojure project to demonstrate the current behavior of clojure.test for clj and cljs

data.rrbv

A vector implementation for Clojure using Relaxed Radix Balanced Trees

linux-perf-demo

Demo of running Linux perf tool on a tiny test program, and interpreting the perf report output

osx-spotlight-test

Some scripts to test the behavior of OS X Spotlight indexing

janus

Explorations in Clojure concurrency

clj-vector-performance

Some code to measure the performance of some operations on Clojure vectors

clj-perls

Some Clojure functions & macros that operate similar to Perl functions

cljol-jvm-support

Java Object Layout: Modified Core for use by cljol library

clj-prescreen

Automated process to grab Clojure patches and find out which ones are ready to screen

achilles

Very simple Java & Clojure performance tests

vec-data-reader

Possibly unexpected behavior when one creates a Clojure tagged literal that returns a value that is a vector of primitives

clojure-rte

Fork of Jim Newton's clojure-rte repository

flokkun-pakka

Code related to the packet classification problem