Qqwy / Marten's repositories
haskell-size
An unsigned integral type with checked arithmetic (overflow/underflow raises) that can always safely be converted to an Int
haskell-copilot
A stream-based runtime-verification framework for generating hard real-time C code.
haskell-symbolize
Implementation of an efficient thread-safe global Symbol Table, with garbage collection
exceptions
mtl friendly exceptions
haskell-vary
A fast and user-friendly implementation of variant types (aka open unions, open sum types, coproducts)
python-calling-haskell-calling-python
A tiny proof-of-concept of writing a Haskell shared library that can be used from within a Python program, passing along Python callback functions that Haskell might invoke again at the appropriate time
elixir-rational
Rational number library for Elixir.
hs-opentelemetry
OpenTelemetry support for the Haskell programming language
snowflaked-rs
A crate for creating and working with snowflake ids
ruby-prop_check
Property Testing library in Ruby
rust-polars
Fast multi-threaded, hybrid-out-of-core query engine focussing on DataFrame front-ends
elixir-arrays
Well-structured Arrays with fast random-element-access for Elixir, offering a common interface with multiple implementations with varying performance guarantees that can be switched in your configuration.
rust-overloaded_literals
Rust crate: Overloaded Literals to construct your datatypes without boilerplate and with compile-time validation.
rust-slimmer_box
`SlimmerBox<T>` is a packed alternative to `Box<T>` whose 'fat' pointer is 'slimmer'
linear-base
Standard library for linear types in Haskell.
gherkin2md
Converts Gherkin (Cucumber files) to Markdown.
haskell-arc
An (extremely experimental!) proof-of-concept of using linear types to do atomic reference counting with safe (COW-style) interior mutability in Haskell
ruby-carrierwave_backgrounder
Offload CarrierWave's image processing and storage to a background process using Delayed Job, Resque, Sidekiq, Qu, Queue Classic or Girl Friday.
elixir-enum_benchmark_example
Microbenchmark comparing the Elixir iteration abstractions for, enum and iter
haskell-snek
A simple implementation of Snake. Runs in a terminal
ordsearch
A Rust data structure for efficient lower-bound lookups
rust-backdrop_arc
An Arc (atomically reference counted smart pointer) that supports customized dropping strategies using Backdrop.
elixir-explorer
Series (one-dimensional) and dataframes (two-dimensional) for fast data exploration in Elixir
roc-bf_example
A simple (and incomplete) example of a BrainFukc interpreter in the Roc programming language.
hs-connection
simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
rust-polars_s3
POC to write to Object Stores like S3 with Polars