Toni Cebrián's repositories
orgroam2obsidian
Small script that ports your Org Roam notes to Obsidian
agda-stdlib
The Agda standard library
awesome-semantic-web
A curated list of various semantic web and linked data resources.
checkrail
A code generation tool written in Haskell for the creation of clients and servers based on an OpenApi3 description
conduit
A streaming data library
gogol
A comprehensive Google Services SDK for Haskell.
jena-docker
Docker image for Apache Jena riot
openapi3
OpenAPI 3.0 data model
purescript-halogen-bootstrap4
Bootstrap 4 classes for `purescript-halogen`
purescript-halogen-svg-elems
SVG support for purescript-halogen, including SVG animations
purescript-halogen-template
Template project for getting started with Halogen
purescript-halogen-template-extended
An extended version of `purescript-halogen-template` that includes SPA-like page routing and a global store
reader-pattern-servant-app
Reader pattern with servant to build flexible web-apps in Haskell
rules_purescript
Purescript rules for Bazel
sbt-slick-codegen
slick-codegen compile hook for sbt
servant-errors
Servant Errors wai-middleware
shex-s
Scala implementation of ShEx
stack-templates
Templates for bootstrapping a project in Haskell using stack
stm-actor
An implementation of the actor model in Haskell using STM