Qqwy / Marten's repositories

elixir-type_check

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

Language:ElixirLicense:MITStargazers:528Issues:10Issues:80

ruby-prop_check

Property Testing library in Ruby

Language:RubyLicense:MITStargazers:97Issues:0Issues:8

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.

elixir-rational

Rational number library for Elixir.

Language:ElixirLicense:MITStargazers:42Issues:3Issues:23

haskell-symbolize

Implementation of an efficient thread-safe global Symbol Table, with garbage collection

Language:HaskellLicense:NOASSERTIONStargazers:19Issues:1Issues:6

haskell-vary

A fast and user-friendly implementation of variant types (aka open unions, open sum types, coproducts)

Language:HaskellLicense:MITStargazers:11Issues:1Issues:7

haskell-tring_buffer

A STM-transactional concurrent ring buffer

Language:HaskellLicense:MITStargazers:5Issues:0Issues:0

haskell-copilot

A stream-based runtime-verification framework for generating hard real-time C code.

Language:HaskellStargazers:2Issues:0Issues:0

exceptions

mtl friendly exceptions

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

haskell-run-st

runST without boxing penalty

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

haskell-size

An unsigned integral type with checked arithmetic (overflow/underflow raises) that can always safely be converted to an Int

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

rust-pyO3-logger_swallos_exceptions

Minimal reproducible example of PyO3-logger not being exception-friendly

Language:RustStargazers:1Issues:1Issues:0

rust-sqlx

🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.

Language:RustLicense:Apache-2.0Stargazers:1Issues:0Issues:0

haskell-contiguous

Typeclass for array types

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

haskell-draft-rust_bindings

Draft example of how to wrap a Rust dynamic library into a Haskell library that calls into it with FFI

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

haskell-primitive-unlifted

the PrimUnlifted typeclass, an interface arrays of unlifted values

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

hs-opentelemetry

OpenTelemetry support for the Haskell programming language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

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

Language:PythonStargazers:0Issues:1Issues:0

rust-deadpool

Dead simple pool implementation for rust with async-await

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-deadpool-resize-mre

Minimal reproducible example of Deadpool's runtime resizing causing panics

Language:RustStargazers:0Issues:0Issues:0

rust-http

Rust HTTP types

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

rust-polars

Fast multi-threaded, hybrid-out-of-core query engine focussing on DataFrame front-ends

Language:RustLicense:MITStargazers:0Issues:1Issues:0

rust-pyo3-log

Logging bridge from pyo3 native extension to python

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

snowflaked-rs

A crate for creating and working with snowflake ids

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

stackage

Stable Haskell package sets: vetted consistent packages from Hackage

Language:DockerfileLicense:MITStargazers:0Issues:0Issues:0

unliftio

The MonadUnliftIO typeclass for unlifting monads to IO

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

unordered-containers

Efficient hashing-based container types

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

zfoh.ch

Our homepage

License:NOASSERTIONStargazers:0Issues:0Issues:0