coetaur0
Follow
-
-
PLSemantics Public
Material for the programming languages semantics course at UNIGE
Scala UpdatedMay 14, 2025 -
-
Kaleidoscope.NET Public
A C# implementation of the Kaleidoscope LLVM tutorial
C# MIT License UpdatedJan 8, 2025 -
FormalMethods Public
Material for the formal methods course at the University of Geneva
F# UpdatedDec 3, 2024 -
-
lambda-cube Public
Implementations of type systems on the lambda cube.
OCaml MIT License UpdatedFeb 1, 2024 -
-
AdventureGame Public
A point and click adventure game programmed in Lua with the LÖVE 2D framework.
-
staticfg Public
Python3 control flow graph generator
-
ESIM Public
Implementation of the ESIM model for natural language inference with PyTorch
-
Graphite Public
A Swift library to build and manipulate graphs
Swift MIT License UpdatedFeb 1, 2021 -
Schedulability Public
Forked from kyouko-taiga/SchedulabilityOffline task scheduler for multi-core architectures
Swift UpdatedApr 7, 2020 -
-
LEAN Public
Lexical Entailment Augmented Network for Natural Language Inference
-
plantlogger Public
Data logger for a plant management system
-
MPICapsule Public
A prototype framework implementing Apache Spark functionalities in MPI
C++ Apache License 2.0 UpdatedMay 5, 2018 -
SSL-TLS-and-PFS Public
A state of the art paper about SSL/TLS and the support of perfect forward secrecy
UpdatedMar 21, 2018