Stars
- All languages
- ATS
- Assembly
- Batchfile
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lua
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Processing
- Prolog
- PureScript
- Python
- ReScript
- Reason
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- YASnippet
- Zig
A strongly-typed language that compiles to JavaScript
Compiler for Elm, a functional language for reliable webapps.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
Emanate a structured view of your plain-text notes
📖 source material for Thinking with Types
Auto-generate a command-line parser for your datatype
Deploy software or an entire NixOS system configuration to another NixOS system
Example project showing the project structure of a simple blog app built with IHP
A demonstration on how to use Nix to build, test and deploy a Haskell application
Advent of Code complete solution archive and common library
Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.
Supplementary code for Type Classes projects
The sources used to generate my blog at https://funloop.org. See https://github.com/listx/listx.github.io for the rendered contents.