Pinned Repositories
AndroidExperiment
ecsv
Erlang CSV Parser
gtimer
A global timer facility in Elixir
JavaErlang
JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.
jmsg
A typed message passing library for Java
jsongen
JSON instances generation and validation from JSON Schema and other JSON data descriptions
McErlang
The McErlang model checker for Erlang
McErlang-DTime
McErlang with discrete time modelchecking
Ranker
Ranking of implementations using QuickCheck
shared_resources_erlang
fredlund's Repositories
fredlund/JavaErlang
JavaErlang is a library that attempts to facilitate the communication between Java and Erlang nodes, implemented as an additional layer on top of the JInterface Java interface.
fredlund/McErlang
The McErlang model checker for Erlang
fredlund/jsongen
JSON instances generation and validation from JSON Schema and other JSON data descriptions
fredlund/McErlang-DTime
McErlang with discrete time modelchecking
fredlund/Ranker
Ranking of implementations using QuickCheck
fredlund/ecsv
Erlang CSV Parser
fredlund/gtimer
A global timer facility in Elixir
fredlund/jmsg
A typed message passing library for Java
fredlund/shared_resources_erlang
fredlund/AndroidExperiment
fredlund/cclib
Concurrency Java Library used at Universidad Politécnica de Madrid
fredlund/jason
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
fredlund/jasonpbt
Property-based testing for Jason programs (mas and cps)
fredlund/pulse-time
fredlund/SecurityTraceExtraction
fredlund/sequenceTester
Testing sequences of possibly blocking Java commands
fredlund/umerl