Discover @erdos Open Source projects

Janos Erdos (@erdos)

erdos

Stars
497
Global Rank 55,942 (Top 2 %)
Followers 214
Following 309
Registered over 10 years ago
Most used languages

Clojure
80.0 %

Java
9.1 %

Agda 1.8 %

HTML
1.8 %

Shell
1.8 %

Haskell
1.8 %

Python
1.8 %

TeX
1.8 %
Location 🇭🇺 Hungary
Country Total Rank 104
Country Ranking

Clojure
1

Agda 3

Haskell
18

TeX
50

Java
129

Shell
224

HTML
458

Python
757

uclj

Small, quick, native Clojure interpreter

stencil

templating engine for DOCX and PPTX files

erdos.assert

power assert macro for clojure

erdos.yield

lazy-seq generator in clojure

cogent

a small theorem prover in clojure

awesome-laws

awesome principles and laws

class-analyzer

Java Class file parser and analyzer written in Clojure

sphere

interactive environment for spherical geometry

rtow

small ray tracer written in clojure

erdos.oauth

OAuth ring wrapper in Clojure

sudoku

small sudoku solver in clojure

claravis

visualize clara rule engine namespaces

instanthir

convertible

type conversion library for clojure

advent-of-code

Advent Of Code solutions

algo

collection of fascinating algorithms

erdos.github.io

personal web repo

advent-of-code-2019

carillon

Bel language interpreter

java-logic

constructive logic framework in java

indexer-reader-clj

Clojure bindings for Maven Indexer Reader

unicode

unicode tooling

cashew

erdos.match

clojure structure and type matcher library

erdos.suffix

string suffix algorithms in clj

erdos.stats

Statistics functions for Clojure

emu

common algorithms for competitive programming

erdos.kanren

Kanren logic programming in Clojure with transducers

hanoi

hanoi towers in pull requests

spm-cljs

Scatter Plot Matrix implementation for ClojureScript

advent-of-code-2018

solutions for advent of code in 2018

crossql-parser

sql parser library in Haskell

env

my development environment

awesome-books

my favourite readings

erdos.async

async tools for clojure

revisor

entity versioning and revisioning database for legal documents

fnproject-clojure-test

Fn Project example project with Clojure

routing

small routing dsl

awesome-metric-spaces

a curated list of resources about metric spaces

spf-research

effort to describe a recently found fractal

ring.jmx

clojure ui for jmx

probadeploy

bcug.mmxvi-xi

Budapest Clojure User Group presentation in 2016 november

example-web

example Clojure web application

presentations

redis-mapper

object mapping framework for redis

npw

nasa parawing related material

erdos.fun

fun programming in clojure

schema-sql

erdos.pseudb

small clojure document oriented schemaless data structure

lenart

proofs of projective geometry theorems in Agda

hprof

Java heap dump analyzer in Clojure

troubleshooting

troubleshooting common issues

dfa

High Performance Finite-State Machines in Java

erdos.metric

Metric spaces and functions in Clojure

erdos.inspector

a more advanced clojure data structure explorer tool

spidron-blender

blender plugin generating spidron geometry

sphaerica

Interactive Spherical Geometry Software

erdos.sample

Discrete distributions in clojure

secret-santa-simulator

monte-carlo simulation of the secret-santa paradox

require-all

dependency injection library for clojure