-
-
sadovod Public
Use tree-sitter as tree rewriting system to generate/refactor code
UpdatedSep 23, 2025 -
-
-
-
-
combobulate Public
Forked from mickeynp/combobulateStructured Editing and Navigation in Emacs with Tree-Sitter
-
wiwinwlh Public
Forked from sdiehl/wiwinwlhWhat I Wish I Knew When Learning Haskell by Stephen Diehl
Haskell Other UpdatedApr 23, 2025 -
metals Public
Forked from scalameta/metalsScala language server with rich IDE features 🚀
-
scala-ts-mode Public
Forked from KaranAhlawat/scala-ts-modeA tree-sitter based Emacs major-mode for the Scala programming language
-
metals-vscode-self-delivery Public
Forked from scalameta/metals-vscodeVisual Studio Code extension for Metals
-
tasty-classpath-query Public
Interactivelly retrieve documentation and types from TASTy
UpdatedApr 14, 2025 -
bogus-themes Public
Modus themes for GNU Emacs but in shades of gray
Emacs Lisp UpdatedApr 14, 2025 -
treesit-jump Public
Forked from dmille56/treesit-jumpJump around your source code in emacs using treesit and avy
-
-
-
coffeestains Public
Unofficial GitHub mirror for https://framagit.org/Pathe/coffeestains
-
-
-
-
-
-
-
jpf-core Public
Forked from javapathfinder/jpf-coreJPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
Java UpdatedSep 3, 2022 -
-
-
zig-libgc Public
Forked from mitchellh/zig-libgcZig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector
Zig MIT License UpdatedJan 6, 2022 -
-
bachelor_thesis Public
Forked from AndreyAkinshin/Russian-Phd-LaTeX-Dissertation-TemplateText of my bachelor thesis
-
evply Public
Forked from hackathonbrn/evplyFP learning platform and graphical LISP interpreter
Haxe UpdatedJul 11, 2021