-
semel Public
Semantic highlighting for Emacs Lisp
-
lean4-bdd Public
Binary Decision Diagrams in Lean 4
-
-
activities.el Public
Forked from alphapapa/activities.elActivities for Emacs (suspend and resume activities, i.e. frames/tabs and their windows, buffers)
Emacs Lisp GNU General Public License v3.0 UpdatedMar 14, 2024 -
sCASP-scratch Public
Forked from SWI-Prolog/sCASPTop-down interpreter for ASP programs with Constraints
Prolog Apache License 2.0 UpdatedOct 6, 2022 -
sCASP Public
Forked from JanWielemaker/sCASPtop-down interpreter for ASP programs with constraints
Prolog Apache License 2.0 UpdatedOct 6, 2022 -
-
Prefix-Filter Public
Forked from TomerEven/Prefix-FilterPrefix Filter: Practically and Theoretically Better Than Bloom.
C++ Other UpdatedSep 13, 2022 -
mirrord Public
Forked from metalbear-co/mirrordmirrord lets you easily mirror traffic from your production environment to your development environment.
Rust MIT License UpdatedJun 6, 2022 -
RedisBloom Public
Forked from RedisBloom/RedisBloomProbabilistic Datatypes Module for Redis
C Other UpdatedMay 26, 2022 -
debug_adapter Public
Debug Adapter Protocol (DAP) implementation for SWI-Prolog
-
melpa Public
Forked from melpa/melpaRecipes and build machinery for the biggest Emacs package repo
Emacs Lisp Other UpdatedMar 26, 2022 -
swipl-devel Public
Forked from SWI-Prolog/swipl-develMain development repository
C Other UpdatedMar 8, 2022 -
plweb-www Public
Forked from SWI-Prolog/plweb-wwwSubmodule of plweb.git that contains the (wiki) web-pages
HTML Other UpdatedMar 8, 2022 -
dap-mode Public
Forked from emacs-lsp/dap-modeEmacs ❤️ Debug Adapter Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 26, 2022 -
debug-adapter-protocol Public
Forked from microsoft/debug-adapter-protocolDefines a common protocol for debug adapters.
Other UpdatedFeb 26, 2022
{{ message }}