anitasv Goto Github PK

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

aerospike-client-java

Aerospike Java Client Library

agda

Agda is a dependently typed programming language / interactive theorem prover.

anitasv.github.io

Several Demos

armadillo.functions

Since Java doesn't have all type of Functions for primitives, and support for andThen, compose is not present for the primitives, we created a full set.

async-tracker

Tracks caolan.asyncInject

braid

Random Concurrency Notes

cashflowy

clerk-clojure

Basics of Clojure with explanations

coins

The Coin problem. Take a fair "base" sided coin, generate a number in that base, until a predefined sequence is found. What is the probability that number is a multiple of k.

cubism

Cubism.js: A JavaScript library for time series visualization.

cuboid

Project Euler 212

cupvert

fibonacci

gofalter

Lisp in Go

gor

HTTP traffic replay in real-time. Replay traffic from production to staging and dev environments.

hyper-reals

Symbolic Calculus using hyper reals

inmobitiny

interview2

TC

jigsaw

White Jigsaw Solver using SAT solvers.

klotski

Klotski Solver

leafy-vegetables

Mom asked what is that leafy vegetable in our garden, I thought I'll show her everything in wiki :D

learn-haskell

Some haskell code for learning.

makeup

A set of small libraries to make your javascript better

okipoki

Google TTS wavenet command line utility.

pact

Promises Library

pqueue

puzzles

Puzzle problems solved in Julia

reactjs_koans

Learn basics of React.js making the tests pass

remote_hardware

Web Remote using ESP32