chisui

chisui's Stars

• b3nj5m1n/xdg-ninja

  A shell script which checks your $HOME for unwanted files and directories.

  Language:Haskell2.5k143

• spring-projects/spring-shell

  Spring based shell

  Language:Java728395

• typelevel/typelevel-nix

  Development tools for Typelevel projects

  Language:Nix11012

• chocoteam/choco-solver

  An open-source Java library for Constraint Programming

  Language:Java687137

• hwayne/lets-prove-leftpad

  Proving leftpad correct two-dozen different ways

  Language:SystemVerilog64560

• NVIDIA/open-gpu-kernel-modules

  NVIDIA Linux open GPU kernel module source

  Language:C15.1k1.3k

• haskell-servant/servant

  Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

  Language:Haskell1.8k412

• NixOS/nixos-hardware

  A collection of NixOS modules covering hardware quirks.

  Language:Nix2k600

• NorfairKing/autodocodec

  self(auto)- documenting encoders and decoders

  Language:Haskell12019

• nmattia/niv

  Easy dependency management for Nix projects

  Language:Haskell1.6k77

• nix-community/rnix-lsp

  WIP Language Server for Nix! [maintainer=@aaronjanse]

  Language:Rust70541

• nix-community/vscode-nix-ide

  Nix language support for VSCode editor [maintainer: @jnoortheen]

  Language:TypeScript28223

• komoot/photon

  an open source geocoder for openstreetmap data

  Language:Java1.9k281

• tfausak/witch

  :mage_woman: Convert values from one type into another.

  Language:Haskell744

• clap-rs/clap

  A full featured, fast Command Line Argument Parser for Rust

  Language:Rust14.1k1k

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k382

• pwmarcz/kaboom

  Cruel but fair Minesweeper clone

  Language:JavaScript21018

• Digitaler-Impfnachweis/covpass-android

  The official CovPass(-Check) Android apps and SDK.

  Language:Kotlin18459

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.7k355

• rematch/rematch

  The Redux Framework

  Language:TypeScript8.5k420

• JoeyDeVries/LearnOpenGL

  Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com

  Language:C++10.9k2.8k

• alpmestan/ghc.nix

  Nix (shell) expression for working on GHC

  Language:Nix14351

• ekmett/linear-logic

  They see me rollin'. They're Heyting. -- Chamillionaire, 2005

  Language:Haskell822

• ekmett/hkd

  higher-kinded data

  Language:Haskell302

• nix-community/NUR

  Nix User Repository: User contributed nix packages [maintainer=@Mic92]

  Language:Python1.3k338

• gorhill/uMatrix

  uMatrix: Point and click matrix to filter net requests according to source, destination and type

  Language:JavaScript4.6k470

• projectlombok/lombok

  Very spicy additions to the Java programming language.

  Language:Java12.8k2.4k

• NixOS/nix

  Nix, the purely functional package manager

  Language:C++12.3k1.5k

• microsoft/TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  Language:TypeScript100k12.4k

• vavr-io/vavr

  vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.

  Language:Java5.7k631