-
gf-core Public
Forked from GrammaticalFramework/gf-coreGrammatical Framework core: compiler, shell & runtimes
Haskell Other UpdatedNov 1, 2024 -
ploeh.github.com Public
Forked from ploeh/ploeh.github.comploeh blog 'source code'
HTML UpdatedOct 16, 2024 -
-
nushell Public
Forked from nushell/nushellA new type of shell
Rust MIT License UpdatedSep 27, 2024 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedSep 22, 2024 -
-
-
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedSep 4, 2024 -
-
nix-index Public
Forked from nix-community/nix-indexQuickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]
Rust Other UpdatedJul 17, 2024 -
gf-ud Public
Forked from GrammaticalFramework/gf-udFunctions to analyse and manipulate dependency trees, as well as conversions between GF and dependency trees. The main use case is UD (Universal Dependencies), but the code is designed to be comple…
-
Scribd-Unblur Public
Forked from abhaygupta08/Scribd-UnblurThis Chrome extension enables you to uncover hidden content behind blurred pages on Scribd.
JavaScript MIT License UpdatedMay 29, 2024 -
wakaru Public
Forked from pionxzh/wakaru🔪📦 Javascript decompiler for modern frontend
TypeScript MIT License UpdatedMay 1, 2024 -
A work-in-progess multilingual CV
Grammatical Framework Artistic License 2.0 UpdatedFeb 7, 2024 -
nix-du Public
Forked from symphorien/nix-duVisualise which gc-roots to delete to free some space in your nix store
Rust GNU Lesser General Public License v3.0 UpdatedOct 21, 2023 -
NativeYoutube Public
Forked from Aayush9029/NativeYoutubePersonal App that turned into "alpha released app" v2
Swift MIT License UpdatedOct 12, 2023 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 11, 2023 -
ImHex Public
Forked from WerWolv/ImHex🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
C++ GNU General Public License v2.0 UpdatedOct 4, 2023 -
musehub-html Public
A web-interface to download the files that would otherwise require MuseHub
-
gf-lsp Public
A Language Server for Grammatical framework, providing errors and warnings and go-to-definition
-
-
haskell-gtd-nl Public
Forked from kr3v/haskell-gtd-nlHaskell 'go to (non-local) definitions' extension
Haskell MIT License UpdatedSep 27, 2023 -
gf-rgl Public
Forked from GrammaticalFramework/gf-rglGrammatical Framework's Resource Grammar Library (RGL)
Grammatical Framework Other UpdatedSep 6, 2023 -
gf-vscode Public
A VS Code extension for Grammatical Framework
TypeScript MIT License UpdatedAug 24, 2023 -
nbe-edsl Public
Forked from nachivpn/nbe-edslNormalization by Evaluation for Embedded Domain-specific Languages
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 31, 2023 -
HoTTEST-Summer-School Public
Forked from martinescardo/HoTTEST-Summer-SchoolHoTTEST Summer School materials
Agda UpdatedNov 3, 2022 -
-
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedOct 26, 2022 -
{{ message }}