Pinned Repositories
dao-de-jing
My translation of the "Dao De Jing" (a.k.a. Tao Te Ching) by Lao Zi
haskell-fractal
Haskell example: A simple fractal image renderer
htoml
TOML file format parser in Haskell
kubuntu-setup
My setup based on a recent Kubuntu install
low-code-backend-dockered
Fully dockered starter kit for Elm with Hasura
quran-analysis
Replicating intriguing numerical properties of the Qur'an with easy-to-follow, open source procedures
resume
My resume as a PDF including the well commented LaTeX source and build instructions.
truetopia
a webapp for creating self governing communities
tumbleweed-setup
My OpenSUSE Tumbleweed setup
kturtle
Educational programming environment that uses TurtleSpeak
cies's Repositories
cies/low-code-backend-dockered
Fully dockered starter kit for Elm with Hasura
cies/htoml
TOML file format parser in Haskell
cies/kubuntu-setup
My setup based on a recent Kubuntu install
cies/tumbleweed-setup
My OpenSUSE Tumbleweed setup
cies/SlowKotlinxHtml
Example that shows absurdly slow compilation of kotlinx.html code.
cies/supabase-http4k-terpal-ssr-example
Shows how to do SSR with Supabase, using http4k (web server) and terpal (db access).
cies/criminals
An example of a RePlay project.
cies/documentation
Meilisearch documentation
cies/elm-tailwind
tailwind.css to elm
cies/graphql-kotlin
Libraries for running GraphQL in Kotlin
cies/guide.elm-lang.org
My book introducing you to Elm!
cies/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
cies/ihp-website
λ IHP: Integrated Haskell Platform
cies/jdbi
The Jdbi library provides convenient, idiomatic access to relational databases in Java and other JVM technologies such as Kotlin, Clojure or Scala.
cies/jOOQ
jOOQ is the best way to write SQL in Java
cies/kotlin-graphql-example
Kotlin GraphQL example
cies/krouton
Typesafe, compositional routing and reverse routing for web apps and web APIs
cies/ktor-documentation
cies/nopCommerce
The most popular open-source eCommerce shopping cart solution based on ASP.NET Core
cies/perseus
A state-driven web development framework for Rust with full support for server-side rendering and static generation.
cies/play1
Play framework
cies/playframework.com
The Play Framework website
cies/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
cies/replay
cies/sonic-pi
The Live Coding Music Synth for Everyone
cies/specs
Specs - Parallel ECS
cies/specs-physics
nphysics integration for the Specs entity component system
cies/terpal-sql-jvm-example
Simple Kotlin/JVM project showcasing terpal-sql
cies/unbroken.io
unbroken.io — website code
cies/wholes-and-halves
Game like Mastermind and Bulls 'n' Cows