Collection of programming style guides used in Serokell
☆12Jul 4, 2022Updated 3 years ago
Alternatives and similar repositories for style
Users that are interested in style are comparing it to the libraries listed below
Sorting:
- A haskell library providing Word128 and Int128 types☆21Jan 21, 2026Updated last month
- ☆12Oct 18, 2022Updated 3 years ago
- Automatically trace all (showable) binds in do expressions☆84Jun 11, 2018Updated 7 years ago
- Functional languages index☆42Sep 23, 2019Updated 6 years ago
- A detailed guide to setting up a QEMU/KVM for gaming.☆13Nov 24, 2023Updated 2 years ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 4 years ago
- R dashboard as a designer☆10Oct 29, 2015Updated 10 years ago
- OpenTelemetry layer for HTTP/gRPC services☆10Updated this week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Machinegun FSM processor☆10Dec 1, 2021Updated 4 years ago
- MiniLM (BERT) embeddings from scratch☆18Aug 14, 2025Updated 6 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- todo2(a.k.a. todo or die) - A better todo! macro inspired from searls/todo_or_die☆11Updated this week
- An English translation of a problem course ("Trivium") in undergraduate maths☆10Jan 25, 2023Updated 3 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆19Feb 19, 2026Updated last week
- Things long time missing from stdlib☆11Sep 27, 2021Updated 4 years ago
- ☆12Jan 5, 2015Updated 11 years ago
- RosettaLinux augmentation tool☆14Nov 19, 2025Updated 3 months ago
- ☆14Mar 29, 2024Updated last year
- Key-value storage LSM-style and whatever will grow out of it.☆10Jan 6, 2017Updated 9 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 7 months ago
- Install fonts on your system☆29Feb 4, 2026Updated 3 weeks ago
- Ansible playbook to provide decent desktop experience☆14Mar 29, 2025Updated 11 months ago
- Version lock, cache, and run binaries from any Github Release assets. Pull in external tools and keep the versions in sync across your te…☆15Jan 3, 2024Updated 2 years ago
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- Xenon is a WebDriver proxy, for running multiple WebDriver sessions through a single hub☆12Jun 30, 2022Updated 3 years ago
- Moonli is a Julia/Python-ish syntax layer that transpiles to Common Lisp☆18Feb 16, 2026Updated last week
- Haskell bindings for Dear Imgui☆11Dec 19, 2019Updated 6 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Knox is a vigilant supervisor and management tool that ensures LLM teams rigorously develop reliable AI Agent programming extensions for …☆29Feb 13, 2026Updated 2 weeks ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- OTP generation & validation library for Rust☆14Dec 4, 2025Updated 2 months ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 3 months ago
- HDFS based on Java implementation as a remote ObjectStore for DataFusion☆10Feb 13, 2024Updated 2 years ago
- Various functions which are used across multiple @serokell packages☆45Sep 15, 2019Updated 6 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Jan 31, 2024Updated 2 years ago
- ☆49Jan 7, 2026Updated last month
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Haskell Enterprise Edition☆12Nov 17, 2017Updated 8 years ago