Qqwy / Marten's starred repositories

doctest

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Language:RustLicense:NOASSERTIONStargazers:3777Issues:25Issues:28

FxTwitter

Fix broken Twitter/X embeds! Use multiple images, videos, polls, translations and more on Discord, Telegram and others

Language:TypeScriptLicense:MITStargazers:2338Issues:11Issues:126

Diagon

Interactive ASCII art diagram generators. :star2:

Language:C++License:MITStargazers:1490Issues:13Issues:43

bad-licenses

A compendium of absurd open-source licenses.

Language:ElixirLicense:MITStargazers:824Issues:13Issues:21

effectful

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Language:HaskellLicense:BSD-3-ClauseStargazers:354Issues:15Issues:72

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:327Issues:6Issues:30

fjall

LSM-based embeddable key-value storage engine written in safe Rust

Language:RustLicense:Apache-2.0Stargazers:289Issues:6Issues:35

uuid

Erlang Native UUID Generation

Language:ErlangLicense:MITStargazers:216Issues:18Issues:20

registry

Components as records of functions for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:165Issues:17Issues:4

ghc-nix

Exploring the options for incremental Haskell builds using Nix

Language:HaskellLicense:MITStargazers:106Issues:15Issues:7

fastsum

A fast open-union type, suitable for 100+ contained alternatives.

Language:HaskellLicense:NOASSERTIONStargazers:97Issues:8Issues:9

seqlock

A reader-writer lock that provides extremely fast read access without starving writers

Language:RustLicense:Apache-2.0Stargazers:70Issues:4Issues:7

type-sets

type level sets

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

beul

It executes futures

Language:RustLicense:Apache-2.0Stargazers:54Issues:2Issues:1

opencascade-hs

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

Language:HaskellLicense:LGPL-2.1Stargazers:43Issues:3Issues:3

heliclockter

Helicopter parent to your datetime objects

Language:PythonLicense:BSD-3-ClauseStargazers:35Issues:16Issues:2

mask

MArco's Split Keyboard

License:MPL-2.0Stargazers:32Issues:2Issues:0

annotated-exception

Machinery for throwing and catching exceptions with some annotation.

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:5Issues:12

moat

mobile type (currently Swift, Kotlin) generation from Haskell types

Language:HaskellLicense:MITStargazers:30Issues:51Issues:24

text-short

Memory-efficient representation of Unicode text strings

Language:HaskellLicense:BSD-3-ClauseStargazers:22Issues:6Issues:14

silently

Prevent or capture output to stdout or other handles in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:21Issues:10Issues:10
Language:HaskellLicense:MITStargazers:17Issues:0Issues:0

fasta-region-inspector

A bioinformatics tool for analyzing somatic hypermutation

Language:HaskellLicense:NOASSERTIONStargazers:16Issues:2Issues:0

culpa

Rust doesn't have exceptions

Language:RustLicense:Apache-2.0Stargazers:8Issues:2Issues:4

snowdon

A lightweight thread-safe snowflake ID implementation for Rust

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

rust-naperian

(Experimental) Rust implementation of the paper 'APLicative programming using Naperian functors'

Language:RustStargazers:2Issues:0Issues:0

sud

Alternative to serde

Language:RustStargazers:1Issues:3Issues:0
Language:RustStargazers:1Issues:0Issues:0