Skip to content
View palas's full-sized avatar
Block or Report

Block or report palas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. james james Public

    JUnit model extractor and test generator

    Erlang 3 2

  2. detparaminf detparaminf Public

    Prototype implementation of an inference algorithm based on blue-fringe that allows parametrisation of symbols in a sound way

    Haskell 1

  3. freq_server freq_server Public

    Simple Web Service written in Java that simulates a server to manage frecuency allocation

    Java

  4. freq_server_test freq_server_test Public

    Test suite for freq_server Web Service

    Java

  5. freq_server_test_ma freq_server_test_ma Public

    Test suite for freq_server Web Service, created by Interoud

    Java

  6. jeb jeb Public

    Library for controlling a Java thread from Erlang

    Java