tosoikea's Stars
potassco/clorm
🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
CAHLR/pyBKT
Python implementation of Bayesian Knowledge Tracing and extensions
CAHLR/OATutor
Open Source Intelligent Tutoring System w/ BKT (ReactJS and Firebase)
tmalsburg/py-span-task
Cross-platform working memory span task
bramucas/xclingo2
A tool for explainability and debugging in Answer Set Programming.
potassco/clingo
🤔 A grounder and solver for logic programs.
microsoft/Guan
Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close approximation of Prolog, with extended capabilities and some differences.
mrlesmithjr/packer-templates
burkeazbill/ubuntu-22-04-packer-fusion-workstation
Packer Config and Build Script for Ubuntu 22.04 Jammy Jellyfish
eaksel/packer-Win2022
Packer configuration files for Windows Server 2022
jonashackt/ansible-windows-docker-springboot
Example project showing how to provision, deploy, run & orchestrate Spring Boot apps with Docker Windows Containers on Docker Windows native using Packer, Powershell, Vagrant & Ansible
SoftwareEngineering-WS2022-CoCoMonkeys/schoolexam-word-addin
An Add-in for Microsoft Office Word assisting in the exam generation process.
SoftwareEngineering-WS2022-CoCoMonkeys/schoolexam
SoftwareEngineering-WS2022-CoCoMonkeys/schoolexam-correction-ui
steveruizok/perfect-freehand-dart
Draw perfect freehand lines—in Flutter.
steveruizok/perfect-freehand
Draw perfect pressure-sensitive freehand lines.
flutter/uxr
UXR work for Flutter
NCSC-NL/log4shell
Operational information regarding the log4shell vulnerabilities in the Log4j logging library.
Codelessly/FlutterWebsite
The flutter.dev website recreated in Flutter. https://gallery.codelessly.com/flutterwebsites/flutterwebsite
lohanidamodar/flutter_ui_challenges
Updated for Flutter 3.x ** 100+ Professional UI implementations with Code in Flutter. Available in Android, iOS, Linux and Web
ulusoyca/Flutter-ShareWhatYouKnow
Sample code for Flutter tutorials
arnabd88/Satire
Scalable yet rigorous Floating-point Error Analysis
opencobra/optlang
optlang - sympy based mathematical programming language
soarlab/FPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
xetys/hetzner-kube
A CLI tool for provisioning kubernetes clusters on Hetzner Cloud
icicimov/kubernetes-bitwarden_rs
Kubernetes manifests for the bitwarden_rs project https://github.com/dani-garcia/bitwarden_rs.git
identw/hetzner-cloud-controller-manager
Kubernetes cloud-controller-manager for Hetzner Cloud and Hetzner dedicated servers
cdrx/rancher-gitlab-deploy
Painless deployment of projects built with GitLab CI onto your Rancher infrastructure
hetznercloud/csi-driver
Kubernetes Container Storage Interface driver for Hetzner Cloud Volumes
mxschmitt/ui-driver-hetzner
Rancher UI driver for the Hetzner Cloud docker driver.