Justin-Reniers

Pinned Repositories

AdvancedCalculator
Expression based calculator
Language:Python00
cora
COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints
Language:Java00
pokeemerald
Decompilation of Pokémon Emerald
Language:C00
RPI_Json
Language:Java00
RPI_prolog
Prolog assignment
Language:Prolog00
Notepad--
Notepad--, a lightweight web based editor with numerous optional features.
Language:HTML30
ModelChecking
FT2BDD: A framework for converting fault trees into BDDs
Language:Python10
DES-Exercises
Language:Python00
FAIre-Emblem
Language:Python00
Natural-Computing
A repository used for programming assignments in the Natural Computing course
Language:JavaScript00

Justin-Reniers's Repositories

Justin-Reniers/cora
COnstrained Rewriting Analyser: a tool to analyse term rewriting systems with logical constraints
Language:Java
Justin-Reniers/pokeemerald
Decompilation of Pokémon Emerald
Justin-Reniers/AdvancedCalculator
Expression based calculator
Language:Python
Justin-Reniers/RPI_Json
Language:Java
Justin-Reniers/RPI_prolog
Prolog assignment
Language:Prolog