-
relodable-native Public
Simple experiment to hot-code reload Kotlin/Native
Kotlin MIT License UpdatedMay 9, 2025 -
-
-
-
-
godot-kotlin-jvm Public
Forked from utopia-rise/godot-kotlin-jvmGodot Kotlin JVM Module
Kotlin MIT License UpdatedOct 24, 2024 -
swift-cmark Public
Forked from swiftlang/swift-cmarkCommonMark parsing and rendering library and program in C
C Other UpdatedSep 5, 2024 -
postcat-kodee Public
Postcat Kodee is a 3D game written in Kotlin, using the Godot/Kotlin JVM bindings.
-
kodee-game Public
Simple 2D game used as demo for the Godot Kotlin/JVM bindings.
Kotlin MIT License UpdatedMar 14, 2024 -
libgodot Public
Forked from migueldeicaza/libgodotGodot modified to be embeddable as a library
C++ MIT License UpdatedMar 12, 2024 -
kotlin-effects Public
A Kotlin library implementing algebraic effect handlers.
-
lua-language-server Public
Forked from LuaLS/lua-language-serverA language server that offers Lua language support - programmed in Lua
Lua MIT License UpdatedOct 16, 2023 -
chip8 Public
Chip8 emulator using Modern C++ and SDL2.
-
storm Public
Forked from moves-rwth/stormTLDR; Add some comments for the implemented code into "Simple Strategies for Multi-Objective MDPs" paper.A Modern Probabilistic Model Checker
C++ GNU General Public License v3.0 UpdatedAug 7, 2023 -
-
inestool Public
Forked from dsedivec/inestoolRewritten in Python 3. Read/write iNES readers on NES ROMs
Python MIT License UpdatedApr 1, 2023 -
vt-vm-dynamic Public
This is an implementation of the toy Virtual Machine saw during the "Virtualization Techniques" course at TUM (WS 22/23).
-
vt-ws22-23 Public
Repository for Virtualization Techniques course at TUM.
Jupyter Notebook UpdatedDec 14, 2022 -
JetBrains Task's implementation for the "Formal verification framework for Kotlin".
Kotlin UpdatedNov 23, 2022 -
-
-
static-pie-apps Public
Forked from unikraft/static-pie-appsBuilt Linux applications (static-pie) for Unikraft binary compatibility mode
C UpdatedOct 23, 2022 -
resume Public
Forked from sb2nov/resumeSoftware developer resume in Latex
TeX MIT License UpdatedSep 5, 2022 -
parallel-jacobi-method Public archive
This repository contains the final project for "Parallel and Distributed Systems: Paradigms and Models" (a.y. 2021/2022) course at University of Pisa.
-
cpc-2122 Public
Repository for Competitive Programming and Contest course at UniPi M.Sc. degree (a.a. 2021/2022)
C++ UpdatedAug 6, 2022 -
clox Public
Implementation of a Virtual Machine for the Lox programming language.
-
-
ad-2122 Public archive
This repository contains the report of the various hands-on held during the lectures of Algorithm Design course.
TeX UpdatedJul 10, 2022 -
md-cs-student-unipi-materials Public
Forked from md-cs-student-unipi/Materials🎓Collection of useful repositories
UpdatedJun 30, 2022 -
psc-2021-22 Public archive
Repository containing question and answers for "Principles for Software Composition" course at UniPi.
The Unlicense UpdatedJun 30, 2022
{{ message }}