owickstrom / minimal-kotlin-nix-exampleView external linksLinks
Minimal Kotlin and Nix flake example (with Gradle 8 support)
☆39Apr 14, 2024Updated last year
Alternatives and similar repositories for minimal-kotlin-nix-example
Users that are interested in minimal-kotlin-nix-example are comparing it to the libraries listed below
Sorting:
- Run the standalone dalvik virtual machine☆11Jul 6, 2022Updated 3 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 5 months ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Vector builder☆16Jan 13, 2026Updated last month
- Create Excel files with Haskell☆12Mar 15, 2020Updated 5 years ago
- Library to help building Kotlin libraries with Gradle☆17Jan 24, 2026Updated 3 weeks ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Apr 19, 2025Updated 9 months ago
- Compiler for IMP programming language implemented in Haskell☆16Jun 16, 2020Updated 5 years ago
- Functional todo list app demonstrating DuckDB WASM OPFS persistence☆19Oct 20, 2025Updated 3 months ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 10 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- Card game using Haskell miso☆11Feb 5, 2026Updated last week
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated last year
- A generator for JSON Schema from Algebraic Data Type in Haskell.☆13Nov 7, 2019Updated 6 years ago
- A port of 2048 using Haskell and Miso☆15Feb 7, 2018Updated 8 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- Efficient union and equivalence testing of sets.☆31Jan 29, 2019Updated 7 years ago
- 🍜 Convert HTML markdown into miso View syntax☆14Nov 17, 2025Updated 2 months ago
- Haskell bindings for systemd☆20Jul 10, 2024Updated last year
- A natural transformation package☆16Jan 8, 2026Updated last month
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated 8 months ago
- ☆15May 16, 2017Updated 8 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 8 years ago
- Rust binding to libnotify☆14Jul 12, 2021Updated 4 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Simple and efficient way to delete remote branches from git repository.☆15Jan 10, 2018Updated 8 years ago
- Low-level Haskell bindings for libpq☆23Updated this week
- The most complete prelude formed only from the "base" package☆29Oct 11, 2023Updated 2 years ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 2 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆30Feb 2, 2026Updated last week
- Pretty printer for Nix .drv files.☆15Mar 30, 2018Updated 7 years ago
- Encoders and decoders for the PostgreSQL's binary format☆21Jan 7, 2026Updated last month
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 11 years ago
- A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm. (DEV…☆23Jan 10, 2017Updated 9 years ago
- A compatibility layer for base☆21Jan 11, 2026Updated last month
- Install everything.☆20Nov 19, 2018Updated 7 years ago