Pinned Repositories
acf
Utility to convert Steam acf files to JSON
dakka
A dependently typed actor framework for haskell.
elderscrolls-rust
Bethesda Softworks Archive tool (WIP)
haskell-ipasir
haskell bindings for IPASIR incremental SAT solving interface
home
java-parsec
parser combinator library inspired by Haskells parsec
nix-mkPandoc
call pandoc from Nix
nur-pkgs
zsh-nix-shell
zsh plugin that lets you use zsh in nix-shell shells.
chisui's Repositories
chisui/zsh-nix-shell
zsh plugin that lets you use zsh in nix-shell shells.
chisui/dakka
A dependently typed actor framework for haskell.
chisui/elderscrolls-rust
Bethesda Softworks Archive tool (WIP)
chisui/nix-mkPandoc
call pandoc from Nix
chisui/acf
Utility to convert Steam acf files to JSON
chisui/haskell-ipasir
haskell bindings for IPASIR incremental SAT solving interface
chisui/java-parsec
parser combinator library inspired by Haskells parsec
chisui/bineAdvent
Advent calendar for bine
chisui/home
chisui/nur-pkgs
chisui/cryptominisat
An advanced SAT Solver
chisui/DefinitelyTyped
The repository for high quality TypeScript type definitions.
chisui/fsynth
chisui/home-manager
Manage a user environment using Nix [maintainer=@rycee]
chisui/hsx
jsx for Haskell
chisui/intellij-config
chisui/lib-hs
explorative haskell standard library
chisui/LMHS
A SAT-IP Hybrid MaxSAT solver
chisui/lorri
Your project’s nix-env [maintainer=@Profpatsch]
chisui/mvn2nix
Easily package your Maven Java application with the Nix package manager.
chisui/nixos-hardware
A collection of NixOS modules covering hardware quirks.
chisui/nixpkgs
Nix Packages collection
chisui/pandoc-latex-template
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
chisui/propagators
chisui/rust-build.action
Automate publishing Rust build artifacts for GitHub releases through GitHub Actions
chisui/tex2nix
chisui/translate
java translation library
chisui/vavr-jackson
Jackson datatype module for Vavr
chisui/zsh-wttr.in
zsh script for easy wttr.in access