-
sCASP Public
Forked from SWI-Prolog/sCASPTop-down interpreter for ASP programs with Constraints
Prolog Apache License 2.0 UpdatedOct 30, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 22, 2024 -
carneades-4 Public
Forked from carneades/carneades-4Version 4 of Carneades, implemented in Go
Go Other UpdatedOct 15, 2024 -
pgsolver Public
Forked from tcsprojects/pgsolverA collection of tools for generating, manipulating and - most of all - solving parity games.
OCaml BSD 3-Clause "New" or "Revised" License UpdatedOct 8, 2024 -
emacs-overlay Public
Forked from nix-community/emacs-overlayBleeding edge emacs overlay [maintainer=@adisbladis]
Nix UpdatedJun 19, 2024 -
catala Public
Forked from CatalaLang/catalaProgramming language for literate programming law specification
OCaml Apache License 2.0 UpdatedMay 17, 2024 -
onagre Public
Forked from onagre-launcher/onagreA general purpose application launcher for X and wayland inspired by rofi/wofi and alfred
Rust MIT License UpdatedJun 15, 2023 -
biblatex-lncs Public
Forked from neapel/biblatex-lncsBiBLaTeX style for Springer Lecture Notes in Computer Science
-
nix-bundle Public
Forked from nix-community/nix-bundleBundle Nix derivations to run anywhere!
Nix MIT License UpdatedOct 25, 2022 -
-
-
reflex-gadt-api Public
Forked from reflex-frp/reflex-gadt-apiInteract with a JSON-serialized API defined by a GADT in your reflex-dom application
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 28, 2022 -
password Public
Forked from cdepillabout/passworddatatypes and functions for easily working with passwords in Haskell
Haskell UpdatedOct 6, 2021 -
extensions Public
Forked from kowainik/extensions👅 Parse Haskell Language Extensions
Haskell Mozilla Public License 2.0 UpdatedOct 6, 2021 -
break-time Public
Forked from cdepillabout/break-timebreak timer that forces you to take a break
Rust MIT License UpdatedSep 23, 2021 -
termonad Public
Forked from cdepillabout/termonadTerminal emulator configurable in Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2021 -
org-ql Public
Forked from alphapapa/org-qlAn Org-mode query language, including search commands and saved views
Emacs Lisp GNU General Public License v3.0 UpdatedNov 23, 2020 -
org-caldav Public
Forked from dengste/org-caldavCaldav sync for Emacs orgmode
Emacs Lisp GNU General Public License v3.0 UpdatedMay 27, 2020 -
arbtt Public
Forked from nomeata/arbttarbtt, the automatic rule-based time-tracker
Haskell GNU General Public License v2.0 UpdatedMay 11, 2020 -
-
pandoc-types Public
Forked from jgm/pandoc-typestypes for representing structured documents
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 4, 2020 -
org-msg Public
Forked from jeremy-compostella/org-msgOrgMsg is a GNU/Emacs global minor mode mixing up Org mode and Message mode to compose and reply to emails in a Outlook HTML friendly style.
Emacs Lisp GNU General Public License v3.0 UpdatedMar 4, 2020 -
-
-
fzf Public
Forked from junegunn/fzf🌸 A command-line fuzzy finder
Go MIT License UpdatedDec 1, 2019 -
Beamer-Theme-Execushares Public
Forked from hamaluik/Beamer-Theme-ExecusharesA minimalist and modern Beamer theme
TeX MIT License UpdatedNov 28, 2019 -
static-haskell-nix Public
Forked from nh2/static-haskell-nixeasily build most Haskell programs into fully static Linux executables
Nix UpdatedNov 25, 2019 -
wave-function-collapse Public
Forked from ChrisPenner/wave-function-collapseWave function collapse procedural generation for arbitrary graphs
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 4, 2019 -
ormolu.el Public
Forked from vyorkin/ormolu.elA formatter for Haskell source code
Emacs Lisp UpdatedOct 26, 2019 -
lorri Public
Forked from target/lorriYour project's nix-env
Nix Apache License 2.0 UpdatedOct 26, 2019