Pinned Repositories
api-generator
Code to generate language specific interfaces based on Onshape apidoc.
chainspecs
cross
“Zero setup” cross compilation and “cross testing” of Rust crates
dust-dds
Rust implementation of the Data Distribution Service (DDS)
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
glsp
Language Server Protocol SDK for Go
go-llvm
Go bindings to a system-installed LLVM. Used as part of TinyGo.
gRPC-haskell
Haskell gRPC support
plcc-edge
plcc-plugin
david9991's Repositories
david9991/plcc-plugin
david9991/plcc-edge
david9991/api-generator
Code to generate language specific interfaces based on Onshape apidoc.
david9991/chainspecs
david9991/cross
“Zero setup” cross compilation and “cross testing” of Rust crates
david9991/dust-dds
Rust implementation of the Data Distribution Service (DDS)
david9991/ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
david9991/glsp
Language Server Protocol SDK for Go
david9991/go-llvm
Go bindings to a system-installed LLVM. Used as part of TinyGo.
david9991/gRPC-haskell
Haskell gRPC support
david9991/homebrew-alt
david9991/homebrew-formula
david9991/jsonrpc2
Package jsonrpc2 provides a client and server implementation of JSON-RPC 2.0 (http://www.jsonrpc.org/specification)
david9991/lightclient-lssue
david9991/llvm-hs
Haskell bindings for LLVM
david9991/llvm-hs-pretty
Pretty printer for LLVM AST to Textual IR
david9991/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
david9991/okteto
Develop your applications directly in your Kubernetes Cluster
david9991/plcc-dap
david9991/plcc-examples
david9991/pyOCD
Open source Python library for programming and debugging Arm Cortex-M microcontrollers
david9991/remote-kubernetes
Remote Kubernetes Development in VS Code with Okteto
david9991/SOEM
Simple Open Source EtherCAT Master
david9991/web3
A CLI tool to interact with web3 blockchains - Ethereum, GoChain, etc