joaomlneto/lp-metaforms joaomlneto/lp-metaforms

  • Stars
    star
    1
  • Language
    Prolog
  • Created over 11 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
joaomlneto/lp-metaforms
github

joaomlneto

Reviews

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

Repository Details

Project assignment for the Logic for Programming course @ IST 2012

More Repositories

1

jekyll-multiverse-template

HTML5UP's Multiverse theme for Jekyll
SCSS
45
star
2

travis-ci-tutorial-java

Just to learn how to use travis-ci in a java project!
Java
37
star
3

procmap

C++ wrapper around /proc/self/maps
C++
8
star
4

cpds-heat

Heat Equation using different solvers (Jacobi, Red-Black, Gaussian) in C using different paradigms (sequential, OpenMP, MPI, CUDA) - Assignments for the Concurrent, Parallel and Distributed Systems course @ UPC 2013
C
7
star
5

advent-of-code

My solutions to Advent of Code in Javascript (NodeJS)
JavaScript
5
star
6

example-devspace-spring-boot

Example using Devspace to develop a Spring Boot Application on Kubernetes
Shell
3
star
7

mayfly-compiler

Compilers course project @ IST 2013
C++
2
star
8

sodx_erlang

Erlang implementations of some distributed algorithms - Laboratory assignments for the Distributed and Networked Operating Systems course @ UPC 2013
Erlang
2
star
9

jitaspace

TypeScript
1
star
10

ia_scheduling

Project assignment for the Artificial Intelligence course @ IST 2012
1
star
11

thrift-java-boilerplate

Proper template with Apache Thrift integration on Maven
Java
1
star