Giters
d-dozer

d-dozer

Geek Repo

21

followers

0

following

3k

stars

Github PK Tool:Github PK Tool

d-dozer's starred repositories

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:30721Issues:180Issues:4140

CasaOS

CasaOS - A simple, easy-to-use, elegant open-source Personal Cloud system.

Language:GoLicense:Apache-2.0Stargazers:22984Issues:161Issues:1208

difftastic

a structural diff that understands syntax 🟥🟩

Language:RustLicense:MITStargazers:19804Issues:61Issues:564

disruptor

High Performance Inter-Thread Messaging Library

Language:JavaLicense:Apache-2.0Stargazers:17096Issues:1243Issues:307

mimalloc

mimalloc is a compact general purpose allocator with excellent performance.

Language:CLicense:MITStargazers:9608Issues:158Issues:584

serde

Serialization framework for Rust

Language:RustLicense:Apache-2.0Stargazers:8707Issues:71Issues:1770

Bash-Oneliner

A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.

License:MITStargazers:8166Issues:92Issues:11

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Language:HaskellLicense:MITStargazers:4275Issues:35Issues:807

wireproxy

Wireguard client that exposes itself as a socks5 proxy

Language:GoLicense:ISCStargazers:4046Issues:25Issues:73

sql.js-httpvfs

Hosting read-only SQLite databases on static file hosters like Github Pages

Language:TypeScriptLicense:Apache-2.0Stargazers:3393Issues:34Issues:44

rustviz

Interactively Visualizing Ownership and Borrowing for Rust

Language:HTMLLicense:MITStargazers:2646Issues:27Issues:36

fp-core.rs

A library for functional programming in Rust

Language:RustLicense:MITStargazers:1307Issues:39Issues:40

podman-desktop-companion

Podman desktop companion

Language:TypeScriptLicense:MITStargazers:956Issues:10Issues:54

CLIPasso

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:801Issues:14Issues:27

wachy

A UI for eBPF-based performance debugging

Language:RustLicense:NOASSERTIONStargazers:541Issues:9Issues:10

statix

lints and suggestions for the nix programming language

Language:RustLicense:MITStargazers:515Issues:8Issues:57

criterion

A powerful but simple library for measuring the performance of Haskell code.

Language:HaskellLicense:BSD-2-ClauseStargazers:497Issues:17Issues:161

pipes

Compositional pipelines

Language:HaskellLicense:BSD-3-ClauseStargazers:486Issues:29Issues:102

splain

better implicit errors for scala

Language:ScalaLicense:MITStargazers:369Issues:9Issues:68

ferrumfix

Financial Information eXchange protocol implemented in Rust

Language:RustLicense:Apache-2.0Stargazers:329Issues:22Issues:31

proofs

My personal repository of formally verified mathematics.

Language:CoqLicense:NOASSERTIONStargazers:286Issues:11Issues:2

atom

A DSL for embedded hard realtime applications.

Language:HaskellLicense:NOASSERTIONStargazers:267Issues:20Issues:6

fs2-grpc

gRPC implementation for FS2/cats-effect

Language:ScalaLicense:MITStargazers:265Issues:11Issues:37

cosplay

🕹 2D ASCII Game Engine for Scala3

Language:ScalaLicense:Apache-2.0Stargazers:174Issues:5Issues:66

fugacious

An example Haskell web application

Language:HaskellLicense:NOASSERTIONStargazers:146Issues:11Issues:0

haskell-tree-sitter

Haskell bindings for tree-sitter

Language:HaskellStargazers:143Issues:15Issues:93

telegram-bot-simple

Easy to use library for building Telegram bots in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:106Issues:6Issues:60

haskell-dev-env

A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plugins

Language:DockerfileLicense:MITStargazers:53Issues:2Issues:7

zio-cats-backend

A backend service integrating ZIO with cats, STTP, http4s, doobie and ztapir

Language:ScalaStargazers:49Issues:0Issues:0

chi

A function code generator and an isomorphism analyzer

Language:ScalaLicense:MITStargazers:37Issues:3Issues:50