Discover @Toxaris Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Jupyter Notebook

Java

Kotlin

Haskell

R

Scala

C#

TypeScript

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

R

Perl

Java

F#

Racket

C#

Elm

Clojure

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇸🇬 Singapore

🇳🇺 Niue

🇴🇲 Oman

🇿🇦 South Africa

🇱🇦 Laos

🇻🇦 Vatican City

🇦🇮 Anguilla

🇨🇰 Cook Islands

All Countries Compare Countries

Tillmann Rendel (@Toxaris)

Toxaris

Stars
55
Global Rank 318,023 (Top 11 %)
Followers 26
Following 3
Registered about 13 years ago
Most used languages

Haskell
37.5 %

Scala
25.0 %

Shell
12.5 %

TeX
12.5 %

Racket
6.3 %

Java
6.3 %
Location 🇩🇪 Germany
Country Total Rank 14,414
Country Ranking

Racket
56

Haskell
93

Scala
293

TeX
1,206

Shell
3,266

Java
5,349

pts

Interpreter for functional pure type systems.

pandoc-lit

Connecting pandoc to lhs2tex for literate programming.

gll

lift.pts

Constructive lift monad in System Fω

stlc.scala

Modular implementation of simply-typed lambda calculi in Scala.

pl-impl

papercraft-dungeon-generator

variational

circular

A variant of λ*.

pathfinder2-cards

Playing cards for Pathfinder 2 items etc.

Grammarkov

Random text generation.

latex-styles

A collection of *.sty and *.bst files for use with academic papers written in LaTeX.

racket-config

My DrRacket Configuration

time-series

Analyze time series to compute min and max values in rolling window.

filter-agda-dependency-graph

deltas