11Kilobytes
Follow
-
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanPersonal solutions for the Mathematics in Lean tutorial.
HTML UpdatedJan 24, 2025 -
Co-dfns Public
Forked from Co-dfns/Co-dfnsHigh-performance, Reliable, and Parallel APL
APL GNU Affero General Public License v3.0 UpdatedJan 12, 2025 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedJan 5, 2025 -
kanata Public
Forked from jtroo/kanataImprove keyboard comfort and usability with advanced customization
Rust GNU Lesser General Public License v3.0 UpdatedMay 11, 2024 -
foliate Public
Forked from johnfactotum/foliateRead e-books in style
JavaScript GNU General Public License v3.0 UpdatedNov 15, 2023 -
dyalog-mode Public
Forked from harsman/dyalog-modeEmacs major mode for Dyalog APL
Emacs Lisp UpdatedOct 30, 2023 -
april Public
Forked from phantomics/aprilThe APL programming language (a subset thereof) compiling to Common Lisp.
Common Lisp Apache License 2.0 UpdatedSep 1, 2022 -
org-modern Public
Forked from minad/org-modern🦄 Modern Org Style
Emacs Lisp GNU General Public License v3.0 UpdatedAug 31, 2022 -
dotemacs Public
Forked from SystemCrafters/crafted-emacsPersonal emacs config
Emacs Lisp MIT License UpdatedAug 30, 2022 -
logseq Public
Forked from logseq/logseqA privacy-first, open-source platform for knowledge management and collaboration. Desktop app download link: https://github.com/logseq/logseq/releases, roadmap: https://trello.com/b/8txSM12G/roadmap
Clojure GNU Affero General Public License v3.0 UpdatedAug 21, 2022 -
sly Public
Forked from joaotavora/slySylvester the Cat's Common Lisp IDE
Common Lisp UpdatedJul 30, 2022 -
dyalog-jupyter-kernel Public
Forked from Dyalog/dyalog-jupyter-kernelA Jupyter kernel for Dyalog APL
Python MIT License UpdatedJul 27, 2022 -
tm-forge Public
Forked from texmacs/tm-forgeA repository of user contributed content for TeXmacs
Scheme GNU General Public License v3.0 UpdatedJun 5, 2022 -
magic-kit Public
Forked from Olical/magic-kitA starter kit for Conjure, Aniseed and Neovim
Fennel The Unlicense UpdatedJun 4, 2022 -
evil-org-mode Public
Forked from Somelauw/evil-org-modeSupplemental evil-mode keybindings to emacs org-mode
Emacs Lisp UpdatedFeb 27, 2022 -
-
-
11kb.nyxt Public
Forked from ericdrgn/drgn.nyxtBase configuration for nyxt browser with opinionated theme(s) and organization.
Common Lisp UpdatedJul 1, 2021 -
aplcart Public
Forked from abrudz/aplcartA novel approach to finding your way in APL
HTML Other UpdatedJan 20, 2021 -
-
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedOct 9, 2020 -
-
manticore Public
Forked from ManticoreProject/manticoreParallel ML compiler
Standard ML MIT License UpdatedApr 25, 2020 -
JuliaWorkshop19 Public
Forked from carstenbauer/JuliaWorkshop19Advanced Julia for undergraduate physicists
Jupyter Notebook MIT License UpdatedOct 17, 2019 -
scala-lsp Public
Forked from zheli/scala-lspScala layer for Spacemacs, using lsp + metals instead of ensime.
Emacs Lisp GNU General Public License v3.0 UpdatedJul 10, 2019 -
-
tectonic Public
Forked from tectonic-typesetting/tectonicA modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
C Other UpdatedJul 12, 2017 -
alacritty Public
Forked from alacritty/alacrittyA cross-platform, GPU-accelerated terminal emulator
Rust Apache License 2.0 UpdatedJun 13, 2017 -
servo Public
Forked from servo/servoThe Servo Browser Engine
Mozilla Public License 2.0 UpdatedJun 13, 2017 -