Stars
Collection of Useful Features of the Coq Proof Assistant
A curated list of awesome Coq frameworks, libraries and software.
A verified(?) TCP client/server chat application
Easily package your Maven Java application with the Nix package manager.
Low-level Haskell bindings for libpq
A highly-efficient but limited parser API specialised for bytestrings
Encoders and decoders for the PostgreSQL's binary format
An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.
TemplateHaskell functions to generate types and converter function.
The OCR approach is rephrased as Segmentation Transformer: https://arxiv.org/abs/1909.11065. This is an official implementation of semantic segmentation for HRNet. https://arxiv.org/abs/1908.07919
Scripts for fine-tuning Meta Llama with composable FSDP & PEFT methods to cover single/multi-node GPUs. Supports default & custom datasets for applications such as summarization and Q&A. Supporting…
A boilerplate for creating a Llama 3 chat app
Set of tools to assess and improve LLM security.
HoTTEST Summer School materials
Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)
Easy PureScript (and other tools) with Nix
Google Protocol Buffers for PureScript
Functions for working with homogeneous JavaScript objects
Forms for Halogen
Exemplary real world application built with PureScript + Halogen
A wrapper around Text for fast line/column navigation and logarithmic concatenation
Examples of Dependently-typed programs in Haskell