Wassasin/lambda-formalisation
Formalisation of a type checker for the simply typed lambda calculus, in Coq
Developer Profile
Wassasin
Discovered public repositories for Wassasin in the GitHub catalog.
Wassasin/fastcgipp
Fork of the FastCGI++ library
Wassasin/entreedief
Scraper for the website of the housing organisation Portaal
Wassasin/xraymodel
Modelling and Analysis of an Interventional X-Ray System in NuSMV2
Wassasin/elevatormodel
Modelling and Analysis of an Elevator System with NuSMV2
Wassasin/uppaal2octopus
C++ program for converting UPPAAL traces to Octopus traces
Wassasin/welch-lynch
Analysis of the Welch-Lynch Fault-Tolerant Clock Synchronization Algorithm in UPPAAL
Wassasin/allerhande
Scraper for the Albert Heijn recipe page
Wassasin/splang
Simple Programming Language compiler in Haskell
Wassasin/arabica
Arabica is an XML and HTML processing toolkit, providing SAX2, DOM, XPath, and XSLT implementations, written in Standard C++
Wassasin/wtree
A KD-tree in C++
Wassasin/clean-streams
A small library for co-algebraic stream calculations implemented in Clean.
Wassasin/pol
pol /pɵl/ is a modern ncurses password manager
Wassasin/librusql
A fault-tolerant MySQLCppConn C++11-wrapper
Wassasin/splicpp
SPL compiler in C++