- San Donà di Piave
Highlights
- Pro
-
-
-
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedSep 16, 2024 -
-
-
-
-
DeepVirFinder Public
Forked from jessieren/DeepVirFinderIdentifying viruses from metagenomic data by deep learning
Python Other UpdatedJul 13, 2023 -
AgdaHeap Public
Heap data structure implemented with Agda
Agda GNU General Public License v3.0 UpdatedJun 9, 2023 -
TinyML Public
F# implementation of a type inference system for the core of ML
F# GNU General Public License v3.0 UpdatedMar 9, 2023 -
game-libraries-crosschecker Public
Electron app that crosschecks a list of games in CSV format with the Steam API
-
cinema-but-fast Public
Full stack application that handles management of a cinema
TypeScript UpdatedNov 24, 2022 -
-
Itch-Bundle-Claimer Public
Userscript that automatizes the claim of all games purchased through a bundle on Itch.io
-
-
SharpSolver Public
This software solves simple equations, inequations and derived sets
F# UpdatedJul 2, 2021 -
SushiHub Public archive
Android app that assists the user while ordering at an All-you-can-eat restaurant
-
SushiHub_Redone Public
Android app that assists the user while ordering at an All-you-can-eat restaurant. Kotlin revamp