-
-
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedNov 27, 2025 -
-
scope Public
Forked from jespercockx/scopeAn agda2hs-compatible library for well-scoped syntax
Agda The Unlicense UpdatedNov 5, 2025 -
polarity Public
Forked from polarity-lang/polarityA Language with Dependent Data and Codata Types
Rust Apache License 2.0 UpdatedJul 2, 2025 -
tree-sitter-langs Public
Forked from emacs-tree-sitter/tree-sitter-langsLanguage bundle for Emacs's tree-sitter package
Emacs Lisp MIT License UpdatedJun 6, 2025 -
tree-sitter-haskell Public
Forked from tree-sitter/tree-sitter-haskellHaskell grammar for tree-sitter.
C MIT License UpdatedJun 6, 2025 -
binderdavid-bibliography Public
Forked from BinderDavid/bibliographyDavid's bibliography.
TeX UpdatedMay 30, 2025 -
company-box Public
Forked from elp-revive/company-boxA company front-end with icons
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 15, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedJan 6, 2025 -
agda-core Public
Forked from jespercockx/agda-coreEVERYTHING HERE IS SUBJECT TO BE MODIFIED AT ANY TIME
Agda The Unlicense UpdatedDec 18, 2024 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 28, 2024 -
hk-pandoc-filters Public
Forked from chrisaga/hk-pandoc-filtersMy Lua filters for Pandoc document processor
TeX MIT License UpdatedMay 29, 2024 -
literate-agda-markdown Public
a tiny pandoc filter to transform agda code blocks into literate agda code blocks
Nix BSD 3-Clause "New" or "Revised" License UpdatedMay 9, 2024 -
extensible-elaborator Public
prototype implementation of a dependently-typed language with an extendable constraints and accompanying materials
-
tiddlywiki-translations Public
Forked from TiddlyWiki/translationsTranslations for TiddlyWiki 2.x
HTML UpdatedApr 10, 2024 -
unbound-generics Public
Forked from lambdageek/unbound-genericsSpecify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2024 -
-
-
-
pl-group-retreat-workshop-2022 Public
Forked from jespercockx/ohrid19-agdaMaterial for the Agda course at the PL retreat 2022.
HTML UpdatedMay 30, 2022 -
subterm-metacoq Public
Rewriting and verifying subterm relation from Coq-Equations in MetaCoq
-
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedOct 20, 2019 -
Coq-Equations Public
Forked from mattam82/Coq-EquationsA function definition package for Coq
Coq GNU Lesser General Public License v2.1 UpdatedSep 1, 2019 -
papers-we-love.github.io Public
Forked from papers-we-love/papers-we-love.github.ioOfficial Papers We Love site
CSS UpdatedMar 19, 2018
{{ message }}