Pinned

1. lambda.js lambda.js Public

   Basic functions from pure lambda-calculus - from boolean logic to prime numbers sequences

   JavaScript 16 3

2. java-tailrec-agent java-tailrec-agent Public

   Java agent that unrolls tail recurtion whenever it finds it

   Java 7

3. tm tm Public

   Generator of Turing Machines that run on Java generic types

   Java 9

4. sudoku-solver sudoku-solver Public

   Sudoku solver based on math logic, calculus and numerical methods

   Java 6 1

5. finally4j finally4j Public

   Java agent to add extra sugar to finally blocks

   Java

6. cdi cdi Public

   My tiny Dependency Injection engine

   Java