Janos Erdos (@erdos)
github

erdos

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

uclj

Small, quick, native Clojure interpreter
Clojure
143
star
2

stencil

templating engine for DOCX and PPTX files
Clojure
99
star
3

erdos.assert

power assert macro for clojure
Clojure
79
star
4

erdos.yield

lazy-seq generator in clojure
Clojure
22
star
5

cogent

a small theorem prover in clojure
Clojure
17
star
6

awesome-laws

awesome principles and laws
7
star
7

class-analyzer

Java Class file parser and analyzer written in Clojure
Clojure
7
star
8

sphere

interactive environment for spherical geometry
Clojure
6
star
9

rtow

small ray tracer written in clojure
Clojure
5
star
10

erdos.oauth

OAuth ring wrapper in Clojure
Clojure
5
star
11

sudoku

small sudoku solver in clojure
Clojure
5
star
12

claravis

visualize clara rule engine namespaces
Clojure
5
star
13

instanthir

Clojure
5
star
14

convertible

type conversion library for clojure
Clojure
4
star
15

advent-of-code

Advent Of Code solutions
Clojure
4
star
16

algo

collection of fascinating algorithms
Java
4
star
17

erdos.github.io

personal web repo
Clojure
3
star
18

advent-of-code-2019

Clojure
3
star
19

carillon

Bel language interpreter
Java
3
star
20

java-logic

constructive logic framework in java
Java
3
star
21

indexer-reader-clj

Clojure bindings for Maven Indexer Reader
Clojure
3
star
22

unicode

unicode tooling
Clojure
3
star
23

cashew

Clojure
3
star
24

erdos.match

clojure structure and type matcher library
Clojure
3
star
25

erdos.suffix

string suffix algorithms in clj
Clojure
3
star
26

erdos.stats

Statistics functions for Clojure
Clojure
3
star
27

emu

common algorithms for competitive programming
Clojure
3
star
28

erdos.kanren

Kanren logic programming in Clojure with transducers
Clojure
3
star
29

hanoi

hanoi towers in pull requests
2
star
30

spm-cljs

Scatter Plot Matrix implementation for ClojureScript
Clojure
2
star
31

advent-of-code-2018

solutions for advent of code in 2018
Clojure
2
star
32

crossql-parser

sql parser library in Haskell
Haskell
2
star
33

fnproject-clojure-test

Fn Project example project with Clojure
Clojure
2
star
34

env

my development environment
Shell
2
star
35

awesome-books

my favourite readings
2
star
36

erdos.async

async tools for clojure
Clojure
2
star
37

revisor

entity versioning and revisioning database for legal documents
Clojure
2
star
38

routing

small routing dsl
Clojure
2
star
39

awesome-metric-spaces

a curated list of resources about metric spaces
2
star
40

spf-research

effort to describe a recently found fractal
TeX
1
star
41

probadeploy

Clojure
1
star
42

bcug.mmxvi-xi

Budapest Clojure User Group presentation in 2016 november
Clojure
1
star
43

ring.jmx

clojure ui for jmx
Clojure
1
star
44

example-web

example Clojure web application
Clojure
1
star
45

presentations

HTML
1
star
46

redis-mapper

object mapping framework for redis
Clojure
1
star
47

npw

nasa parawing related material
1
star
48

erdos.fun

fun programming in clojure
Clojure
1
star
49

schema-sql

Clojure
1
star
50

erdos.pseudb

small clojure document oriented schemaless data structure
Clojure
1
star
51

lenart

proofs of projective geometry theorems in Agda
Agda
1
star
52

troubleshooting

troubleshooting common issues
1
star
53

dfa

High Performance Finite-State Machines in Java
Java
1
star
54

erdos.metric

Metric spaces and functions in Clojure
Clojure
1
star
55

erdos.inspector

a more advanced clojure data structure explorer tool
Clojure
1
star
56

spidron-blender

blender plugin generating spidron geometry
Python
1
star
57

hprof

Java heap dump analyzer in Clojure
Clojure
1
star
58

sphaerica

Interactive Spherical Geometry Software
Java
1
star
59

erdos.sample

Discrete distributions in clojure
Clojure
1
star
60

secret-santa-simulator

monte-carlo simulation of the secret-santa paradox
Clojure
1
star
61

require-all

dependency injection library for clojure
Clojure
1
star