-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedApr 13, 2022 -
tf2_bot_detector Public
Forked from PazerOP/tf2_bot_detectorAutomatically detects and votekicks cheaters/bots in TF2 casual.
C++ MIT License UpdatedNov 27, 2021 -
CleanTF2plus Public
Forked from JarateKing/CleanTF2plusClean TF2's sequel
Batchfile MIT License UpdatedApr 27, 2021 -
NamelessOverlay Public
Gentoo overlay
-
QtSemanticNotes Public
QtSemanticNotes is a personal knowledge base, personal wiki or just note taking application that features automatic linking, tree view and tags. Inspired by WikidPad and Zim.
-
QtCBM Public
Simple Dot-probe task implementation for attention retraining in cognitive bias modification therapy
C++ UpdatedDec 12, 2017 -
imgbrd-grabber Public
Forked from Bionus/imgbrd-grabberFork purpose: add ability to save image tags as file xattrs, add comment view functionality and make normal wide-system installation for unix-like os
C++ Apache License 2.0 UpdatedMar 14, 2017 -
kipi-plugins Public
Forked from KDE/kipi-pluginsFork purpose: add reverse image search plugin. To use this you should disable CORS in your default web browser
-
Dotfiles Public
My configs, backups and scripts
Shell Creative Commons Zero v1.0 Universal UpdatedJan 28, 2017 -
AHP4Humans Public
Forked from alekseyderyugin/android_maiAnalytic Hierarchy Process with Scala and JavaFX
Java GNU General Public License v3.0 UpdatedJun 30, 2016 -
BitSI Public
Distributed BitTorrent Search Index
C++ GNU General Public License v3.0 UpdatedFeb 7, 2016 -
-
RemoteNotes Public
Forked from alekseyderyugin/remoteNotesUniversity project. Note-taking server & client. .NET Remoting
C# MIT License UpdatedDec 6, 2015 -
QtCountdownTimer Public
Manager of countdown timers
C++ GNU General Public License v3.0 UpdatedNov 15, 2015 -
-
TMIS Public
Timetable management information system. Ruby + Qt + ActiveRecord
-
Sibri Public
Integrated library system
Component Pascal GNU General Public License v3.0 UpdatedJun 16, 2013 -
EduCMS Public
CMS for distance education, testing and feedback with lecturers
Ruby MIT License UpdatedOct 8, 2012
{{ message }}