Skip to content
@kxcinc

Kotoi-Xie Consultancy, Inc.

Popular repositories Loading

  1. kxclib-ocaml kxclib-ocaml Public

    OCaml 5 2

  2. gensl gensl Public

    Generic Spell Language

    OCaml 3

  3. tezosign tezosign Public

    A Tezos project, full of secrecy, for now.

    1

  4. tezosign.io tezosign.io Public

    Website for TezoSign.io, for now

    HTML

  5. tsca-formaldev tsca-formaldev Public

    Coq

  6. tsca-dev tsca-dev Public

    OCaml

Repositories

Showing 10 of 29 repositories
  • kxclib-ocaml Public
    kxcinc/kxclib-ocaml’s past year of commit activity
    OCaml 5 MIT 2 13 (2 issues need help) 0 Updated Oct 1, 2024
  • pubinfra.dockerfiles Public

    Public Dockerfiles that build to building Docker images for infrastructural purpose

    kxcinc/pubinfra.dockerfiles’s past year of commit activity
    Shell 0 Apache-2.0 0 5 (1 issue needs help) 0 Updated Mar 14, 2024
  • dune Public Forked from ocaml/dune

    A composable build system for OCaml.

    kxcinc/dune’s past year of commit activity
    OCaml 0 MIT 424 0 0 Updated Jan 6, 2024
  • sample.bc47-dune-reproduce Public
    kxcinc/sample.bc47-dune-reproduce’s past year of commit activity
    Shell 0 0 0 0 Updated Nov 23, 2023
  • sample.bc40-rnconfig-reproduce Public
    kxcinc/sample.bc40-rnconfig-reproduce’s past year of commit activity
    Java 0 0 0 0 Updated Oct 16, 2023
  • kune-sample Public template

    Sample OCaml repository that vendors dune itself

    kxcinc/kune-sample’s past year of commit activity
    Shell 0 MIT 0 0 0 Updated Sep 15, 2023
  • pure-uuid Public Forked from rse/pure-uuid

    Pure JavaScript Based Universally Unique Identifiers (UUID)

    kxcinc/pure-uuid’s past year of commit activity
    JavaScript 0 16 0 0 Updated Jul 11, 2023
  • infra.chatbot-ui Public Forked from mckaywrigley/chatbot-ui

    An open-source ChatGPT UI.

    kxcinc/infra.chatbot-ui’s past year of commit activity
    TypeScript 0 MIT 8,235 0 0 Updated Mar 29, 2023
  • merlin-js Public Forked from voodoos/merlin-js
    kxcinc/merlin-js’s past year of commit activity
    OCaml 0 5 0 0 Updated Feb 19, 2023
  • tsca-webapp Public
    kxcinc/tsca-webapp’s past year of commit activity
    JavaScript 0 0 0 5 Updated Dec 6, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…