-
algorithms-problem-solving Public
Exercises in Algoritmit ongelmanratkaisussa, Helsingin yliopisto
C++ UpdatedFeb 6, 2025 -
open-brush-toolkit Public
Forked from icosa-foundation/open-brush-toolkitScripts and assets that help you use Open Brush and old Tilt Brush data in your creative projects.
C# Apache License 2.0 UpdatedJan 21, 2025 -
Open-Brush-Toolkit-Examples Public
This repository contains examples to use with the Open Brush Toolkit.
ShaderLab UpdatedJan 6, 2025 -
ai-art-discord-bot Public
open-source AI art discord bot
-
testauslive Public
Forked from Testausserveri/testausliveTestauslive development.
JavaScript MIT License UpdatedDec 24, 2024 -
open-brush Public
Forked from icosa-foundation/open-brushOpen Brush is the open source, community led evolution of Tilt Brush! Forked from https://github.com/googlevr/tilt-brush
C# Apache License 2.0 UpdatedDec 10, 2024 -
AI-Art-Games-TOS Public
The Terms of Service for the AI Art Games bot on Discord.
UpdatedMar 28, 2024 -
-
-
Exercises from Isabelle tutorial "Programming and proving" and formalization of some exercises in "How to prove it" by D. Velleman
Isabelle UpdatedOct 26, 2023 -
-
-
-
MentOS-network-stack Public
Forked from mentos-team/MentOSMentOS with a network stack. MentOS is an educational 32-bit linux-like Operating System.
C MIT License UpdatedDec 31, 2022 -
-
Piped Public
Forked from TeamPiped/PipedAn alternative privacy-friendly YouTube frontend which is efficient by design.
Vue GNU Affero General Public License v3.0 UpdatedSep 3, 2022 -
-
-
-
computer-science Public
Forked from ossu/computer-science🎓 Path to a free self-taught education in Computer Science!
MIT License UpdatedJul 16, 2022 -
CS-537 Public
Forked from remzi-arpacidusseau/ostep-projectsProjects for an undergraduate OS course
C UpdatedJul 11, 2022 -
-
-
-
-
theodinproject Public
Forked from TheOdinProject/theodinprojectMain Website for The Odin Project
Ruby MIT License UpdatedMar 25, 2022
{{ message }}