Pinned Repositories
atom
A DSL for embedded hard realtime applications.
AtomLED
Haskell Atom code for Arduino
attop
Attack Tree translator and analyzer
dftcalc
DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
DFTRES
eclipseRPCTutorial
Running the vogella.com EclipseRCP tutorial
elkjs
ghcErrorsDoc
Latex Document describing the Type Checkers Errors Messages
idris-config
Parsers for various configuration files written in Idris.
idris-containers
Various data structures for use in the Idris Language.
XeFias's Repositories
XeFias/atom
A DSL for embedded hard realtime applications.
XeFias/AtomLED
Haskell Atom code for Arduino
XeFias/attop
Attack Tree translator and analyzer
XeFias/dftcalc
DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
XeFias/DFTRES
XeFias/eclipseRPCTutorial
Running the vogella.com EclipseRCP tutorial
XeFias/elkjs
XeFias/ghcErrorsDoc
Latex Document describing the Type Checkers Errors Messages
XeFias/idris-config
Parsers for various configuration files written in Idris.
XeFias/idris-containers
Various data structures for use in the Idris Language.
XeFias/Idris-dev
A Dependently Typed Functional Programming Language
XeFias/idris-sdl2
SDL2 binding for Idris
XeFias/imc2ctmdp
BCG to MRMC translator
XeFias/imca
IMCA is a command-line tool for analysing Markov automata
XeFias/klayjs
XeFias/LazyFooHaskell
A port of LazyFoo's SDL tutorials to Haskell. (http://lazyfoo.net/SDL_tutorials/index.php)
XeFias/lightyear
Parser combinators for Idris
XeFias/nodejs-ex
node.js example
XeFias/NORMA
Core code for Natural Object-Role Modeling Architect, a Visual Studio extension for ORM modeling.
XeFias/PLiX
XeFias/PLiX-1
PLiX code generation system (Programming Language in XML).
XeFias/SDL-idris
SDL bindings package for idris
XeFias/storm
A Modern Probabilistic Model Checker
XeFias/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
XeFias/xmldiff