-
AlgST Public
Parser and Typechecker for Algebraic Session Types
-
agdatex Public
Forked from m0rphism/agdatexExtract LaTeX-Macros from annotated .agda-files
TeX UpdatedJan 26, 2026 -
kdl-rs Public
Forked from kdl-org/kdl-rsRust parser for KDL
Rust Apache License 2.0 UpdatedSep 11, 2025 -
-
-
Decker Public
Forked from JohnEarnest/DeckerA multimedia sketchpad
C MIT License UpdatedSep 28, 2024 -
-
minisat Public
Forked from stp/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedMay 7, 2024 -
-
wsession Public
Forked from peterthiemann/wsessionSession types without linearity
TeX BSD 2-Clause "Simplified" License UpdatedJan 18, 2024 -
diagnose Public
Forked from Mesabloo/diagnoseA simple library for reporting compiler/interpreter errors
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 21, 2023 -
bytestring Public
Forked from haskell/bytestringAn efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
Haskell Other UpdatedSep 22, 2023 -
-
sat-checker Public
A random sample SAT solver checker
Rust BSD 3-Clause "New" or "Revised" License UpdatedJul 18, 2023 -
-
FunctionalProgramming Public
Forked from proglang/FunctionalProgrammingSupport repository for the functional programming lecture (Haskell)
TeX BSD 2-Clause "Simplified" License UpdatedDec 3, 2022 -
-
-
haskell-vim Public
Forked from neovimhaskell/haskell-vimCustom Haskell Vimscripts
Vim Script BSD 2-Clause "Simplified" License UpdatedMay 1, 2022 -
idiomatic Public
Forked from Icelandjack/idiomaticDeriving Applicative for sum types.. Idiomatically.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 18, 2022 -
imap Public
Forked from mkawalec/imapA performant IMAP client library
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 27, 2021 -
ldgv Public
Forked from proglang/ldgvLabel dependent dependent session types
Haskell Other UpdatedApr 26, 2021 -
-
addy Public
Forked from pjones/addyA full-featured library for parsing, validating, and rendering email addresses
Haskell BSD 2-Clause "Simplified" License UpdatedOct 29, 2020 -
tufte-css Public
Forked from edwardtufte/tufte-cssStyle your webpage like Edward Tufte’s handouts.
HTML MIT License UpdatedOct 14, 2020 -
pandoc-sidenote Public
Forked from jez/pandoc-sidenoteConvert Pandoc Markdown-style footnotes into sidenotes
Haskell MIT License UpdatedOct 1, 2020 -
vim-colorstepper Public
Forked from qualiabyte/vim-colorstepperCycle easily through vim color schemes
Vim Script UpdatedApr 5, 2020 -
swift Public
Forked from swiftlang/swiftThe Swift Programming Language
C++ Apache License 2.0 UpdatedJan 28, 2017
Skip to content
Navigation Menu
{{ message }}
You can’t perform that action at this time.