Pinned Repositories
active-campaign-python
Active Campaign Python Library
adt_odoo
adt_odoo experiment
apache-pandoc
Using pandoc to serve .md or .markdown files with apache
arrows
asciidoctor-epub3
:blue_book: Asciidoctor EPUB3 is a set of Asciidoctor extensions for converting AsciiDoc to EPUB3 & KF8/MOBI.
asciidoctor.org
:globe_with_meridians: Asciidoctor project site. Composed in AsciiDoc. Baked with Awestruct.
awesome-functional-python
awesome-python
A curated list of awesome Python frameworks, libraries and software.
awesome-websockets
A curated list of Websocket libraries and resources.
idris2-python-pure
galtys's Repositories
galtys/idris2-python-pure
galtys/adt_odoo
adt_odoo experiment
galtys/arrows
galtys/awesome-websockets
A curated list of Websocket libraries and resources.
galtys/Bootstrap-5-Crash-Course-in-1.5H
These are lesson files for our 1,5h crash course on Bootstrap 5
galtys/documentation
Documentation for the PureScript language, compiler, and tools.
galtys/foundation-sites
The most advanced responsive front-end framework in the world. Quickly create prototypes and production code for sites that work on any kind of device.
galtys/galtys-addons
galtys/Idris-dev
A Dependently Typed Functional Programming Language
galtys/idris-sha256c
idris-sha256c
galtys/idris-sha256test
idris-sha256test
galtys/Idris2
galtys/idris2-mongoose
Idris2 bindings for mongoose
galtys/idris2-pack
galtys/idris2-pq
PostgreSQL Bindings for Idris2
galtys/isomorphic-ws
Isomorphic implementation of WebSocket (https://www.npmjs.com/package/ws)
galtys/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
galtys/lhsoft_pda
lhsoft_pda
galtys/nixpkgs
Nix Packages collection & NixOS
galtys/node_test
node_test
galtys/oauthlib
A generic, spec-compliant, thorough implementation of the OAuth request-signing logic
galtys/odoo
Odoo (formerly OpenERP). Open Source Apps To Grow Your Business.
galtys/odooutils
galtys/purescript-cookbook
An unofficial Cookbook for PureScript
galtys/SPLV20
SPLV20 course notes
galtys/tcat
tcat
galtys/testing_purs
galtys/TypeFunc
Resources for type theory, functional programming, etc.
galtys/unison
A friendly programming language from the future
galtys/websockets
A Haskell library for creating WebSocket-capable servers