-
volunteers Public
Forked from FOSDEM/volunteersVolunteers management system for the FOSDEM conference
JavaScript GNU Affero General Public License v3.0 UpdatedSep 6, 2025 -
tamarin-prover Public
Forked from tamarin-prover/tamarin-proverMain source code repository of the Tamarin prover for security protocol verification.
Haskell GNU General Public License v3.0 UpdatedJun 24, 2024 -
editors Public
Forked from tamarin-prover/editorsRepository for text editor syntax highlighting
Vim Script GNU General Public License v3.0 UpdatedFeb 15, 2024 -
cssuob.github.io Public
Forked from CSSUoB/cssuob.github.ioThe Computer Science Society at the University of Birmingham.
HTML Apache License 2.0 UpdatedJan 31, 2024 -
Society-voting-bot Public
A Discord bot for doing society elections
-
tom-sbott Public
A simple (unofficial) Discord bot for announcing when Tom Scott posts a new YouTube video
Python Apache License 2.0 UpdatedOct 15, 2022 -
-
advent-of-code-bot Public
A simple Discord bot for Advent Of Code
-
gnome-shell-teatime Public
Forked from oleid/gnome-shell-teatimeJavaScript MIT License UpdatedMay 11, 2021 -
-
FOSDEM-website Public
Forked from FOSDEM/websiteFOSDEM website
PostScript Other UpdatedFeb 6, 2021 -
Sniffle Public
Forked from nccgroup/SniffleA sniffer for Bluetooth 5 and 4.x LE
C GNU General Public License v3.0 UpdatedMar 3, 2020 -
-
Validity90 Public
Forked from nmikhailov/Validity90Reverse engineering of Validity/Synaptics 138a:009X fingerprint reader protocol
C GNU Lesser General Public License v2.1 UpdatedJun 14, 2017 -
openni2-tracker Public
Forked from futureneer/openni2-trackerA ROS Wrapper for the OpenNI2 and NiTE2 Skeleton Tracker
C++ UpdatedNov 18, 2016 -
sailsd Public
Forked from sails-simulator/sailsdAPI allowing control over a simulated sailing boat
C GNU General Public License v3.0 UpdatedOct 27, 2016 -
python-boatd Public
Forked from boatd/python-boatdPython wrapper for the boatd API
Python GNU General Public License v3.0 UpdatedSep 8, 2016 -
boatd Public
Forked from boatd/boatdExperimental robotic sailing boat daemon
Python GNU Lesser General Public License v3.0 UpdatedMay 26, 2016 -
myAlcoholFreeWine Public
SE315 Assignment to create a price comparison site using Ruby On Rails
Ruby UpdatedDec 7, 2015 -
doot Public
Forked from kragniz/dootb͡e̶hòld t̷h͝e̴ s̶ke̡l͜tal͞ of ke̢rn̕e͢l! ̵this iş 2 ̢spo̸opy ͞4̶ ̴man̡y
C UpdatedSep 26, 2015 -
-
8-Puzzle-Solver Public
An 8-Puzzle Solver which uses BFS, DFS and two A* heuristics
Java UpdatedNov 23, 2013 -
{{ message }}