NovaUNL / SupernovaLinks
An university community portal
☆9Updated 3 years ago
Alternatives and similar repositories for Supernova
Users that are interested in Supernova are comparing it to the libraries listed below
Sorting:
- Allows for FCT's Checkpoint VPN to be used on Linux☆24Updated 2 years ago
- Aplicação alternativa para o sistema de bicicletas partilhadas de Lisboa☆207Updated last week
- API privada da Carris (necessário token de API!), descrita de acordo com a norma OpenAPI 3.0.0 e Swagger.☆17Updated last year
- Navegante's transport card reader☆9Updated 2 years ago
- A list of public APIs from Portuguese entities☆102Updated 3 years ago
- Word templates for the Master and PhD thesis at FCT-NOVA (www.fct.unl.pt)☆125Updated 3 weeks ago
- An Android app to browse GitHub repositories☆13Updated 3 months ago
- Rate limiting for Servant and as WAI middleware☆14Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- Search Hoogle from Rofi☆27Updated last year
- A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users…☆858Updated 3 weeks ago
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆28Updated last year
- Typed, schema-based, composable Redis library for Haskell☆10Updated 11 months ago
- GTK/Rust based viewer for the Mandelbrot set☆13Updated 3 weeks ago
- audit your cabal projects for haskell-specific security-advisories☆27Updated last month
- ☆13Updated 3 years ago
- Bindings to libsodium for Haskell☆37Updated 2 weeks ago
- Leightweight generalized parser combinators☆20Updated last year
- ☆25Updated 3 weeks ago
- Helping you keep your workstation nice and tidy☆31Updated 4 years ago
- Deeply nested, multiple key-type maps.☆10Updated this week
- Access unicode character database☆18Updated 8 months ago
- A GitHub action for publishing packages on Hackage☆28Updated last year
- 📺 The power of Haskell in your terminal!☆43Updated last month
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release☆23Updated 8 months ago
- Efficient non-empty variants of containers data types, with full API☆26Updated last month
- Require that callers propagate `HasCallStack` constraints☆21Updated 6 months ago
- Generate route descriptions from Servant APIs☆9Updated 2 weeks ago
- Middleware Oficial de Identificação Eletrónica em Portugal - Cartão de Cidadão, da Chave Móvel Digital e Sistema de Certificação de atrib…☆192Updated last week