Toxaris/scala-mode2
A new scala-mode for emacs24
Developer Profile
Toxaris
Discovered public repositories for Toxaris in the GitHub catalog.
Toxaris/cabal-config
My cabal configuration.
Toxaris/git-config
My git configuration.
Toxaris/pandoc
Universal markup converter
Toxaris/sbt-mode
An emacs mode for interacting with scala sbt and projects
Toxaris/Session.hs
Session types in Haskell
Toxaris/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
Toxaris/batch-files
Public repository.
Toxaris/stlc.scala
Modular implementation of simply-typed lambda calculi in Scala.
Toxaris/cabal
Official upstream development repository for Cabal and cabal-install
Toxaris/abt.agda
Public repository.
Toxaris/variability-theory
Public repository.
Toxaris/filter-agda-dependency-graph
Public repository.
Toxaris/nomyx-rules
A collection of rules for the Nomyx game. See https://github.com/cdupont/Nomic
Toxaris/HWebUI
Haskell User Interface Library
Toxaris/ghc-core
Public repository.
Toxaris/Grammarkov
Random text generation.
Toxaris/deltas
Public repository.
Toxaris/gll
Public repository.
Toxaris/PLT2012
Public repository.
Toxaris/emacs-config
My emacs configuration
Toxaris/asteroids
Asteroids
Toxaris/Bibs
My bibliography files - integrated in other projects using git-subtree
Toxaris/racket-config
My DrRacket Configuration
Toxaris/sugarj
Library-based Language Extensibility
Toxaris/circular
A variant of λ*.
Toxaris/pts
Interpreter for functional pure type systems.
Toxaris/PLT2011
Material for the course on Programming Languages and Types at University of Marburg
Toxaris/variational
Public repository.