lrworth

lrworth's Stars

• joaomilho/awesome-idris

  𝛌 Awesome Idris resources

  Language:Idris39118

• soupi/haskell-study-plan

  An opinionated list of resources for learning Haskell

  87553

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.7k1.5k

• emil-e/rapidcheck

  QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

  Language:C++1k172

• nikita-volkov/record

  Anonymous records

  Language:Haskell2458

• composewell/streamly

  High performance, concurrent functional programming abstractions

  Language:Haskell86566

• izhangzhihao/intellij-rainbow-brackets

  🌈Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio/Fleet

  Language:Kotlin4.5k214

• auriamg/macdylibbundler

  Utility to ease bundling libraries into executables for OSX

  Language:C++56485

• arcanis/emmagic

  Easily transport your data structures between your C++ and Javascript

  Language:C++161

• mikeizbicki/HLearn

  Homomorphic machine learning

  Language:Haskell1.6k135

• lukhnos/refactorial

  Clang-based C/C++/Objective-C refactoring toolset

  Language:C++15721