Toxaris/pts Toxaris/pts

  • Stars
    star
    21
  • Rank 1,080,892 (Top 22 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 13 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Toxaris/pts
github

Toxaris

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Interpreter for functional pure type systems.

More Repositories

1

pandoc-lit

Connecting pandoc to lhs2tex for literate programming.
Haskell
5
star
2

gll

Java
5
star
3

lift.pts

Constructive lift monad in System Fω
Shell
3
star
4

stlc.scala

Modular implementation of simply-typed lambda calculi in Scala.
Scala
3
star
5

pl-impl

Scala
3
star
6

papercraft-dungeon-generator

Shell
2
star
7

variational

Scala
2
star
8

circular

A variant of Ξ»*.
Haskell
2
star
9

pathfinder2-cards

Playing cards for Pathfinder 2 items etc.
TeX
1
star
10

Grammarkov

Random text generation.
Haskell
1
star
11

latex-styles

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

racket-config

My DrRacket Configuration
Racket
1
star
13

time-series

Analyze time series to compute min and max values in rolling window.
Scala
1
star
14

filter-agda-dependency-graph

Haskell
1
star
15

deltas

Haskell
1
star