mkDoku

mkDoku's Stars

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.4k1.5k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18.5k14.4k

• xmonad/xmonad-contrib

  Contributed modules for xmonad

  Language:Haskell591275

• xmonad/xmonad

  The core of xmonad, a small but functional ICCCM-compliant tiling window manager

  Language:Haskell3.4k292

• erkal/kite

  An interactive visualization tool for graph theory

  Language:Elm54724

• klarh/hasdy

  Molecular modelling in haskell using accelerate

  Language:Haskell5

• BowenFu/matchit.cpp

  match(it): A lightweight single-header pattern-matching library for C++17 with macro-free APIs.

  Language:C++57720

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust56.8k3k

• serokell/o-clock

  :hourglass: Type-safe time units in Haskell

  Language:Haskell496

• serokell/universum

  :milky_way: Prelude written in @Serokell

  Language:Haskell17728

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k116

• nvim-telescope/telescope.nvim

  Find, Filter, Preview, Pick. All lua, all the time.

  Language:Lua16.2k845

• luc-tielen/telescope_hoogle

  Hoogle search integration for Telescope

  Language:Lua497

• ianmackenzie/elm-3d-scene

  A high-level 3D rendering engine for Elm, with support for lighting, shadows, and realistic materials.

  Language:Elm20527

• takenobu-hs/haskell-ghc-reading-guide

  Haskell GHC reading guide

  351

• IntersectMBO/plutus

  The Plutus language implementation and tools

  Language:Haskell1.6k483

• juspay/euler-hs

  EulerHS: full-fledged framework for creating web backends

  Language:Haskell10019

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++938211

• luc-tielen/souffle-haskell

  Haskell bindings for the Souffle datalog language

  Language:C++10312

• grin-compiler/grin

  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  Language:Haskell1k38

• ekmett/lens

  Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

  Language:Haskell2k274

• ekmett/free

  free monads

  Language:Haskell16165

• ndmitchell/hoogle

  Haskell API search engine

  Language:Haskell755137

• jameslittle230/stork

  🔎 Impossibly fast web search, made for static sites.

  Language:Rust2.7k58