isomarcte

isomarcte's Stars

• cloudflare/quiche

  🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

  Language:Rust9.5k159602727

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1881.2k1.2k

• jwiegley/use-package

  A use-package declaration for simplifying your .emacs

  Language:Emacs Lisp4.4k93737260

• http4s/http4s

  A minimal, idiomatic Scala interface for HTTP

  Language:Scala2.6k731.4k791

• typelevel/doobie

  Functional JDBC layer for Scala.

  Language:Scala2.2k68564359

• typelevel/scalacheck

  Property-based testing for Scala

  Language:Scala1.9k57345407

• fthomas/refined

  Refinement types for Scala

  Language:Scala1.7k23210154

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.4k614084

• m4b/goblin

  An impish, cross-platform binary parsing crate, written in Rust

  Language:Rust1.2k23191161

• precog/matryoshka

  Generalized recursion schemes and traversals for Scala.

  Language:Scala811572387

• lspitzner/brittany

  haskell source code formatter

  Language:Haskell6912128867

• typelevel/kittens

  Automatic type class derivation for Cats

  Language:Scala537167164

• scalameta/munit

  Scala testing library with actionable errors and extensible APIs

  Language:Scala4331415990

• haskell-github/github

  The github API for Haskell

  Language:Haskell41114161192

• typelevel/log4cats

  Logging Tools For Interaction with cats-effect

  Language:Scala402156974

• wbolster/emacs-direnv

  direnv integration for emacs

  Language:Emacs Lisp34885038

• microsoft/Bing-COVID-19-Data

  A repo for coronavirus related case count data from around the world. The repo will be regularly updated.

  2563043112

• garethr/kubernetes-json-schema

  A set of JSON schemas for various Kubernetes versions, extracted from the OpenAPI definitions

  25391961

• m4b/dryad

  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust

  Language:Rust1671738

• davenverse/fuuid

  Functional UUID's for Scala

  Language:Scala14632637

• kowainik/awesome-cabal

  💫 A curated list of awesome resources for the Haskell Cabal build tool.

  118987

• typelevel/cats-time

  Cats Instances for Java Time

  Language:Scala9191218

• m4b/rdr

  Rdr is a cross-platform binary analysis and reverse engineering library, utilizing a unique symbol map for global analysis.

  Language:OCaml8414810

• Nike-Inc/bartlett

  A simple Jenkins command line client to serve your needs.

  Language:Haskell8111296

• davenverse/mules

  Caches are tricky - Let Mules Haul its Weight.

  Language:Scala664718

• http4s/http4s-jdk-http-client

  JDK 11+ http client implementation for http4s clients

  Language:Scala5681820

• davenverse/cats-scalacheck

  Cats Instances For Scalacheck

  Language:Scala535719

• typelevel/discipline-munit

  MUnit binding for Typelevel Discipline

  Language:Scala2410615

• davenverse/cats-effect-time

  Java Time For Cats-Effect

  Language:Scala15323

• ChristopherDavenport/nonemptystring

  NonEmpty String

  Language:Scala430