Skip to content
View taichimaeda's full-sized avatar
6 followers · 7 following

Block or report taichimaeda

Report abuse

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

Report abuse
taichimaeda/README.md

Skills

Pinned Loading

  1. go go Public

    Forked from golang/go

    The Go programming language

    Go

  2. cel-ts cel-ts Public

    WIP: Production-grade CEL interpreter for TypeScript

    TypeScript 2

  3. wireplus wireplus Public

    Forked from google/wire

    Wire supercharged with graphviz vizualisation

    Go 5

  4. markpilot markpilot Public

    AI-powered inline completions and chat view for Obsidian

    TypeScript 18 2

  5. spectec spectec Public

    Forked from Wasm-DSL/spectec

    Wasm SpecTec specification tools

    WebAssembly

  6. WasmCert-Coq WasmCert-Coq Public

    Forked from WasmCert/WasmCert-Coq

    A mechanisation of Wasm in Coq

    Coq