Skip to content
View haochenx's full-sized avatar

Organizations

@ocaml @kxcinc @kxcdev

Block or report haochenx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Reproduction repo for https://github.com/honojs/hono/issues/3518

    TypeScript Updated Oct 23, 2024
  • qemacs-hx Public

    Forked from qemacs/qemacs

    xq - haochenx's fork of the Quick Emacs editor

    C Other Updated Jan 25, 2024
  • dotfiles Public

    hx-dotfiles

    Emacs Lisp Updated Jan 14, 2024
  • Generators for bunjs OPAM packages

    TypeScript 1 MIT License Updated Jan 13, 2024
  • Main public package repository for opam, the source package manager of OCaml.

    Shell Creative Commons Zero v1.0 Universal Updated Dec 13, 2023
  • mirror of precious opam repository packages whose source websites have disappeared

    Shell Updated Nov 27, 2023
  • dune Public

    Forked from ocaml/dune

    A composable build system for OCaml.

    OCaml MIT License Updated Oct 2, 2023
  • opam Public

    Forked from ocaml/opam

    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

    OCaml Other Updated Sep 29, 2023
  • fork-haochenx of: A cute Running Cat animation on your MacBook menubar.

    Swift Apache License 2.0 Updated Sep 13, 2023
  • OCaml Updated Jun 9, 2023
  • spacehammer Public

    Forked from agzam/spacehammer

    Hammerspoon config inspired by Spacemacs

    Fennel MIT License Updated Apr 30, 2023
  • Java Updated Jan 21, 2023
  • hxutils Public

    OCaml GNU Affero General Public License v3.0 Updated Sep 15, 2021
  • Community curated list of companies that use F#

    MIT License Updated Aug 28, 2019
  • url-param-filter Public archive

    mirrored from https://gitlab.haochenxie.name/toy/url-param-filter/

    Scala Updated Jul 26, 2019
  • jq Public archive

    Forked from jqlang/jq

    Command-line JSON processor

    C 3 1 Other Updated Nov 13, 2018
  • planck Public archive

    Forked from planck-repl/planck

    Stand-alone ClojureScript REPL

    C Eclipse Public License 1.0 Updated Jun 7, 2018
  • linenoise Public

    Forked from antirez/linenoise

    A small self-contained alternative to readline and libedit

    C BSD 2-Clause "Simplified" License Updated Dec 9, 2017
  • learn-ocaml Public archive

    JavaScript GNU Affero General Public License v3.0 Updated Sep 9, 2017
  • texlive-docker Public archive

    a mirror of https://gitlab.haochenxie.name/containerization/texlive

    Shell Updated Sep 8, 2016
  • peg-performance Public archive

    Forked from gflarity/peg-performance

    Solutions to 15-Hole Peg Solitaire in a number of languages for the purpose of performance testing

    HTML Updated Jul 19, 2016
  • Mathematica Updated Apr 21, 2016
  • GoogleAuth Public archive

    Forked from wstrange/GoogleAuth

    Google Authenticator Server side code

    Java BSD 3-Clause "New" or "Revised" License Updated Apr 4, 2016
  • jutilities Public

    Simple utilities written in Java

    Java Updated Mar 14, 2016
  • gitblogger Public archive

    Java Updated Feb 9, 2016
  • prng-bitmap Public archive

    Java Updated Dec 26, 2015
  • scrypt Public archive

    Forked from wg/scrypt

    Java implementation of scrypt

    C 7 4 Apache License 2.0 Updated Dec 17, 2015
  • hybrid-judge Public archive

    HybridJudge, a hybrid judge system that compile native code to JavaScript with Emscripten and run the code on any browser!

    Java 1 Updated May 15, 2015
  • sp-label-sheet Public archive

    Simple Programmable Label Sheet Printing Library

    Java Apache License 2.0 Updated Mar 21, 2015
  • gdns-editor Public archive

    Google DNS Editor in Java

    Java Apache License 2.0 Updated Feb 27, 2015