yuanwang-wf

yuanwang-wf's Repositories

• yuanwang-wf/aoc

  Language:Haskell201

• yuanwang-wf/ask

  being a particular fragment of Haskell, extended to a proof system

  Language:Haskell

• yuanwang-wf/autocomplete

  Fig adds autocomplete to your terminal.

  Language:TypeScript20

• yuanwang-wf/copilot.el

  An unofficial Copilot plugin for Emacs.

• yuanwang-wf/doom-config

  Language:Emacs Lisp30

• yuanwang-wf/doom.d

  doom emacs config

  Language:Emacs Lisp20

• yuanwang-wf/easy-purescript-nix

  Easy PureScript (and other tools) with Nix

  Language:Nix20

• yuanwang-wf/emacs

  Nightly custom Emacs builds for macOS Nix environments

  Language:Nix20

• yuanwang-wf/gotta-go-fast

  A command line utility for practicing typing and measuring your WPM and accuracy.

  Language:Haskell10

• yuanwang-wf/h-qmk

  my qmk madness wrap around haskell

  Language:Python30

• yuanwang-wf/haskell-algo

  Language:Nix30

• yuanwang-wf/haskell-flake

  A `flake-parts` Nix module for Haskell development

  Language:Nix10

• yuanwang-wf/homebrew-core

  🍻 Default formulae for the missing package manager for macOS (or Linux)

• yuanwang-wf/homebrew-emacs-plus

  Emacs Plus formulae for the Homebrew package manager

• yuanwang-wf/learning-c

  learn c

  Language:C

• yuanwang-wf/lhbg-follow-along

  Language:Haskell301

• yuanwang-wf/lite-rx-api-hands-on

  Lite Rx API Hands-On with Reactor Core 3

  Language:Java20

• yuanwang-wf/mastering-kafka-streams-and-ksqldb

  Code repository for the Mastering Kafka Streams and ksqlDB book

• yuanwang-wf/nix-haskell-devshell-template

  Language:Nix301

• yuanwang-wf/nixpkgs

  Nix Packages collection

  Language:Nix20

• yuanwang-wf/openapi-generator

  OpenAPI Generator allows generation of API client libraries (SDK generation), server stubs, documentation and configuration automatically given an OpenAPI Spec (v2, v3)

• yuanwang-wf/org-pdftools

  A custom org link type for pdf-tools

• yuanwang-wf/practical-reactor

  Practical Project Reactor and reactive programing workshop

  Language:Java20

• yuanwang-wf/resource-id

  A command line tool to decode / endcode resource id

  Language:Haskell20

• yuanwang-wf/spago

  🍝 PureScript package manager and build tool powered by Dhall and package-sets

  Language:Haskell20

• yuanwang-wf/svalbroad_qmk_firmware

  Open-source keyboard firmware for Atmel AVR and Arm USB families

• yuanwang-wf/tiny-c-and-zig

  tiny c projects and zig version

  Language:C20

• yuanwang-wf/todomvc

  Language:Haskell20

• yuanwang-wf/treefmt-nix

  treefmt nix configuration

  Language:Nix10

• yuanwang-wf/ws-access-token

  generate access token for wdesk

  Language:Haskell30