Discover @Toxaris Open Source projects

Tillmann Rendel (@Toxaris)

Toxaris

Stars
55
Global Rank 319,043 (Top 11 %)
Followers 26
Following 3
Registered over 13 years ago
Most used languages

Haskell
37.5 %

Scala
25.0 %

TeX
12.5 %

Shell
12.5 %

Racket
6.3 %

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

Racket
61

Haskell
91

Scala
288

TeX
1,083

Shell
3,224

Java
5,425

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