-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedDec 11, 2025 -
ExamForge Public
Um gerador de exames algorítmicos, agnóstico de linguagem e baseado em templates, projetado para a criação de avaliações robustas e reprodutíveis a partir de especificações declarativas em YAML.
Haskell MIT License UpdatedNov 30, 2025 -
-
-
-
mcq-grader Public
An automated MCQ grader featuring precise, LaTeX-driven automatic zone detection and alignment.
MIT License UpdatedAug 29, 2025 -
-
lxqt-panel Public
Forked from lxqt/lxqt-panelThe LXQt desktop panel
C++ GNU Lesser General Public License v2.1 UpdatedNov 7, 2024 -
-
straightline-ocaml-2022-2 Public
Straightline is a toy programming language from the book Modern Compiler Implementation in ML
-
straightline-ocaml-2022-1 Public
Toy programming language from the book Moden Compiler Implementation in ML
-
-
config.awesome Public
My personal configuration for the awesome window manager
Lua MIT License UpdatedSep 13, 2022 -
Qogir-icon-theme Public
Forked from vinceliuice/Qogir-icon-themeA colorful design icon theme for linux desktops
Shell GNU General Public License v3.0 UpdatedJul 19, 2022 -
Kvantum Public
Forked from tsujan/KvantumA Linux SVG-based theme engine for Qt and KDE
C++ UpdatedJul 15, 2022 -
awesome-cyclefocus Public
Forked from blueyed/awesome-cyclefocusAlt-Tab for the awesome window manager (and more)
Lua GNU General Public License v2.0 UpdatedMay 17, 2022 -
straightline-ocaml Public
Toy programming language from the book Moden Compiler Implementation in ML
-
Graphite-gtk-theme Public
Forked from vinceliuice/Graphite-gtk-themeGraphite gtk theme
CSS GNU General Public License v3.0 UpdatedJan 22, 2022 -
lumina Public
Forked from lumina-desktop/luminaLumina Desktop Environment
C++ BSD 3-Clause "New" or "Revised" License UpdatedJan 18, 2022 -
test.ppx_import Public
Testing the ppx_import library for OCaml
Nix MIT License UpdatedSep 29, 2021 -
parser.predictive.g3-11 Public
Example of predictive parsing for grammar 3.11 from Appell's compiler book
Java MIT License UpdatedJun 28, 2021 -
awesome-wm-widgets Public
Forked from streetturtle/awesome-wm-widgetsWidgets for Awesome Window Manager
Lua MIT License UpdatedMar 22, 2021 -
is511-2021-spring Public
Forked from prosyslab-classroom/is511-2021-springShell UpdatedMar 3, 2021 -
-
-
ppx_deriving_cmdliner Public
Forked from hammerlab/ppx_deriving_cmdlinerPpx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
OCaml Apache License 2.0 UpdatedNov 1, 2020 -
gsynt Public
Tools to help teaching compiler construction.
-
dde-kwin Public
Forked from linuxdeepin/dde-kwinKWin configures on DDE
C++ GNU General Public License v3.0 UpdatedJul 9, 2020 -
deepin-editor Public
Forked from linuxdeepin/deepin-editorText editor for DDE
C++ GNU General Public License v3.0 UpdatedJun 17, 2020 -
dde-file-manager Public
Forked from linuxdeepin/dde-file-managerFile manager for deepin desktop environment.
C++ GNU General Public License v3.0 UpdatedMay 29, 2020
{{ message }}