-
-
carbone Public
Forked from carboneio/carboneFast and simple report generator, from JSON to pdf, xslx, docx, odt...
JavaScript Other UpdatedMar 17, 2025 -
The Ory documentation
TypeScript Apache License 2.0 UpdatedOct 24, 2024 -
hpack: A modern format for Haskell packages
Haskell MIT License UpdatedJun 16, 2024 -
haskell-locators Public
Haskell implementation of reals equipped with locators
-
svix-webhooks Public
Forked from svix/svix-webhooksThe enterprise-ready webhooks service 🦀
Rust MIT License UpdatedOct 19, 2023 -
hlint-run Public
Forked from haskell-actions/hlint-runReusable GitHub Action to run hlint in a workflow. Use with haskell-actions/hlint-setup.
TypeScript MIT License UpdatedOct 10, 2023 -
haskell-actions Public
Forked from haskell/actionsGithub actions for Haskell CI
TypeScript UpdatedJun 15, 2023 -
graphql-bench Public
Forked from hasura/graphql-benchA super simple tool to benchmark GraphQL queries
TSQL Apache License 2.0 UpdatedOct 31, 2022 -
quickcheck Public
Forked from nick8325/quickcheckAutomatic testing of Haskell programs.
Haskell Other UpdatedJul 5, 2022 -
Haskell-MMorph-Library Public
Forked from Gabriella439/Haskell-MMorph-LibraryMonad morphisms
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 23, 2021 -
text Public
Forked from haskell/textAn efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
Haskell BSD 2-Clause "Simplified" License UpdatedAug 30, 2021 -
graphql-parser-hs Public
Forked from hasura/graphql-parser-hsA GraphQL query parser for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 18, 2020 -
pg-client-hs Public
Forked from hasura/pg-client-hsA low level Haskell library to connect to postgres
Haskell Apache License 2.0 UpdatedDec 4, 2020 -
graphql-engine Public
Forked from hasura/graphql-engineBlazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.
-
graphql-spec Public
Forked from graphql/graphql-specGraphQL is a query language and execution engine tied to any backend service.
Shell UpdatedNov 19, 2020 -
-
mysql Public
Forked from paul-rouse/mysqlA lightweight Haskell binding to the C mysqlclient API
Haskell Other UpdatedSep 4, 2020 -
ci-info-hs Public
Forked from hasura/ci-info-hsGet details about the current Continuous Integration environment - Haskell port of https://github.com/watson/ci-info
Haskell MIT License UpdatedAug 31, 2020 -
-
A textbook on informal homotopy type theory
TeX UpdatedJun 12, 2019 -
-
SymmetryBook Public
Forked from UniMath/SymmetryBookThis book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
TeX UpdatedMar 26, 2019 -
hledger Public
Forked from simonmichael/hledgerRobust command-line/curses/web plaintext accounting tools, a Haskell rewrite of Ledger.
Haskell GNU General Public License v3.0 UpdatedMar 5, 2019 -
-
thinking-with-types Public
Forked from isovector/thinking-with-types📖 source material for Thinking with Types
TeX Other UpdatedJan 10, 2019 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedAug 22, 2018 -
Dagstuhl-tables Public
Forked from fpvandoorn/Dagstuhl-tablesDagstuhl's Happy Diner Problem
The Unlicense UpdatedAug 22, 2018 -
HoTT-Agda Public
Forked from HoTT/HoTT-AgdaDevelopment of homotopy type theory in Agda
Agda MIT License UpdatedFeb 26, 2018 -
{{ message }}