archbung

archbung's Stars

• sharkdp/bat

  A cat(1) clone with wings.

  Language:Rust50.4k2061.4k1.3k

• cookiecutter/cookiecutter

  A cross-platform command-line utility that creates projects from cookiecutters (project templates), e.g. Python package projects, C projects.

  Language:Python22.8k2328702k

• python/mypy

  Optional static typing for Python

  Language:Python18.7k24110.8k2.9k

• catppuccin/catppuccin

  😸 Soothing pastel theme for the high-spirited!

  Language:TypeScript15.6k49470280

• ivy-llc/ivy

  Convert Machine Learning Code Between Frameworks

  Language:Python14k7116.9k5.7k

• folke/tokyonight.nvim

  🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.

  Language:Lua6.6k17319444

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.2k61534176

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.8k265

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k665.6k365

• sonic2kk/steamtinkerlaunch

  Linux wrapper tool for use with the Steam client for custom launch options and 3rd party programs

  Language:Shell2.2k2187573

• lwfinger/rtl8188eu

  Repository for stand-alone RTL8188EU driver.

  Language:C1.7k88395601

• google-research/dex-lang

  Research language for array processing in the Haskell/ML family

  Language:Haskell1.6k57361108

• HuwCampbell/grenade

  Deep Learning in Haskell

  Language:Haskell1.5k614083

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k291.2k139

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell9281535187

• folke/edgy.nvim

  Easily create and manage predefined window layouts, bringing a new edge to your workflow

  Language:Lua89564819

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell57233589

• mrcjkb/haskell-tools.nvim

  🦥 Supercharge your Haskell experience in neovim!

  Language:Lua500411220

• haskell-effectful/effectful

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

  Language:Haskell404158428

• nh2/static-haskell-nix

  easily build most Haskell programs into fully static Linux executables

  Language:Nix389187235

• eckyputrady/haskell-scotty-realworld-example-app

  Exemplary real world backend API built with Haskell/Scotty https://realworld.io

  Language:Haskell2089431

• chshersh/iris

  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines

  Language:Haskell18375722

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1802218840

• AndrasKovacs/flatparse

  Fast parsing from bytestrings

  Language:Haskell15373413

• soupi/rfc

  My slides and compilation of resources.

  Language:Haskell1508011

• kennytilton/flutter-mx

  Flutter + ClojureDart, with Matrix Inside(tm)

  Language:Clojure1265210

• re-xyr/cleff

  Fast and concise extensible effects

  Language:Haskell1063276

• Bodigrim/linear-builder

  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.

  Language:Haskell888104

• JeanHuguesdeRaigniac/effects-landscape

  Effects libraries in Haskell

  Language:Haskell71513

• nodew/haskell-realworld-example

  A Haskell implementation of realworld.io

  Language:Haskell534211