lauramcastro Goto Github PK
Name: Laura M. Castro
Type: User
Company: Universidade da Coruña (Spain)
Bio: These repositories are not my CV.
Location: A Coruña, Spain
Laura M. Castro's Projects
a11y-checker
Web Accessibility Evaluation Library
c-travisci-test
Testing TravisCI for simple C projects
cascading.learn
Test driven learning of Cascading.
client_seller_bank
Sample project to demonstrate the use of a session type checker for Erlang
cobertura
Cobertura
covertool
Tool to convert Erlang cover data files into Cobertura XML reports
cucumberl
pure erlang implementation of Cucumber parser & driver
efene
Alternative syntax for the Erlang Programming Language focusing on simplicity, ease of use and programmer UX
elixir
Exercism exercises in Elixir.
erlang-dbus
Erlang DBUS implementation (forked from unmaintained erlang-dbus)
erlang-modbus
A modbus RTU and TCP driver for erlang
erlang_architecture_behaviours
Erlang Architecture Behaviours
hellosisters.github.io
Group Web
java-etherpad-lite
An Etherpad Lite client for Java
java-travisci-test
Testing TravisCI for simple Java projects
jsongen
JSON instances generation and validation from JSON Schema and other JSON data descriptions
jwmtool
Java Watermarking Tool
lauramcastro.github.io
Personal/profesional webpage
meck
A mocking library for Erlang
modbus4erlang
Automatically exported from code.google.com/p/modbus4erlang
mu2
Erlang mutation testing tool
practicas-vvs
Repositorio de prácticas da asignatura Validación e Verificación do Software (2015/2016, 2º cuatrimestre)
quickcheck4c
Property based testing framework based on QuickCheck
rbeacon
LAN discovery and presence in Erlang.
readspec
ReadSpec application: making PBT easier to read for humans
rebar3_hank
The Erlang Dead Code Cleaner
rrpc
REST Reverse Polish Calculator
sessiontypechecker
This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.
smother
Extended code coverage metrics for Erlang.
speechd
Common interface to speech synthesis
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.