Serabe/pi-calculus-tad Serabe/pi-calculus-tad

  • Stars
    star
    3
  • Rank 3,890,788 (Top 79 %)
  • Language
  • License
    Other
  • Created over 14 years ago
  • Updated over 14 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Serabe/pi-calculus-tad
github

Serabe

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Project for the course on Pi Calculus

More Repositories

1

rinzelight

Clojure image processing library
Clojure
38
star
2

RMagick4J

RMagick for JRuby.
Ruby
29
star
3

live_isolated_component

Testing Live Components in isolation
Elixir
23
star
4

ember-bind-helper

Add a bind helper to bind a function to a context
JavaScript
23
star
5

stencil-store-storage

Stores that sync to local storage and session storage.
TypeScript
10
star
6

dom_helpers

Collection of dom helper to use in tests.
Elixir
4
star
7

ember-pirate

Provides an `arr` helper
JavaScript
2
star
8

netmove

OCG app
Clojure
2
star
9

trie

A basic trie implementation.
Ruby
2
star
10

basic-git-talk

Basic talk in show-off.
Ruby
2
star
11

git-situational-awareness

Situational Awareness for Your Git Repositories
Shell
2
star
12

gejs

Grupo de Estudio de JavaScript
JavaScript
2
star
13

vimrc

My vimrc
Vim Script
2
star
14

stencil-i18n-store

An i18n tool based on Stencil Store
TypeScript
2
star
15

genjs-talk

Generators Talk in MadridJS
CSS
2
star
16

javascreepy

JSR-223 wrapper for JRuby
Java
1
star
17

dotfiles-antique

my dot files
Vim Script
1
star
18

pedant

Pedant: Enforcing return values... annoying yet handy!
Ruby
1
star
19

ember-deadpool

An addon with a Mouth. ActionCable's companion
JavaScript
1
star
20

try_git

1
star
21

roman_kata

Roman Numerals Kata
1
star
22

Final-Report

Final Report for my last Summer of Code project.
1
star
23

metaprogramming_slides

Slides for my metaprogramming workshop.
CSS
1
star
24

ej-gabi

Ejercicios para Gabi
CoffeeScript
1
star
25

Homeworks

Just a collection of homeworks in LaTeX
1
star
26

gtug_talk

gtug talk
1
star
27

stencil-barcode

WebComponent to generate barcodes
TypeScript
1
star
28

maco-rb

USB library written in pure Ruby
Ruby
1
star
29

trp

Trabajo final de Técnica de Reconocimiento de Patrones
MATLAB
1
star
30

documentation-images

Hosting for images for the wikis of my projects
Shell
1
star
31

Little-Number

Mastermind with numbers
Clojure
1
star
32

Calculating-Dominion

Just a tiny program in Clojure (I'm learning folks, so be nice) related to Dominion card game
1
star
33

ssddrn

Trabajo de Sistemas Dinámicos y Redes Neuronales
Ruby
1
star
34

serabe.github.com

My page
1
star
35

depot

example app for AWDwR
Ruby
1
star
36

oh_my_zshrc

My oh_my_zsh
Shell
1
star
37

ggb-script

Geogebra scripting for ggbLocusLine
Ruby
1
star
38

codemotion-ember

Taller con los materiales necesarios para el taller de ember de Codemotion 2014
JavaScript
1
star