nikos-alexandris
CS MSc student at Chalmers University
University of Athens, Department of Informatics and TelecommunicationsGothenburg, Sweden
Pinned Repositories
AOC2022
AreaOptimalPolygonisation
Implementation, testing and evaluation of local and global optimisation algorithms for solving the area optimal polygonisation problem
cmple
A minimal project and package manager for C
constraint-propagator
Constraint Propagator in Scheme
gccrs
GCC Front-End for Rust
hcvrp
Heterogenous Capacitated Vehicle Routing Problem solver in Prolog
ic
The ic compiler for pure lazy functional programming languages using intensional logic
micro-parse
Tiny parser combinator library in Haskell
ppx_raises
A ppx rewriter for matching exceptions
pure
A verified compiler for a lazy functional language
nikos-alexandris's Repositories
nikos-alexandris/AOC2022
nikos-alexandris/ic
The ic compiler for pure lazy functional programming languages using intensional logic
nikos-alexandris/AreaOptimalPolygonisation
Implementation, testing and evaluation of local and global optimisation algorithms for solving the area optimal polygonisation problem
nikos-alexandris/cmple
A minimal project and package manager for C
nikos-alexandris/constraint-propagator
Constraint Propagator in Scheme
nikos-alexandris/gccrs
GCC Front-End for Rust
nikos-alexandris/hcvrp
Heterogenous Capacitated Vehicle Routing Problem solver in Prolog
nikos-alexandris/micro-parse
Tiny parser combinator library in Haskell
nikos-alexandris/ppx_raises
A ppx rewriter for matching exceptions
nikos-alexandris/pure
A verified compiler for a lazy functional language
nikos-alexandris/str_view
String View library for C
nikos-alexandris/string
A dynamic string library for C
nikos-alexandris/xv6-riscv-cow
Xv6 for RISC-V