Pinned Repositories
c-mlir
A translator from c to MLIR
CljPerl
CljPerl is a lisp on Perl.
cone
cone-lang
graph_dsl
An demo for spatial computing
grcv
A random constraint verification library based on proto and buddy
line
A elixir plug webpage
mlir-hs
Haskell bindings for MLIR
mo
mo is an attempt to copy node.js's architecture based on guile and libuv.
ShenCPP
A port of Shen by C++
SystemLua
A lua version of SystemC
wehu's Repositories
wehu/c-mlir
A translator from c to MLIR
wehu/ShenCPP
A port of Shen by C++
wehu/graph_dsl
An demo for spatial computing
wehu/mlir-hs
Haskell bindings for MLIR
wehu/cone
cone-lang
wehu/SystemLua
A lua version of SystemC
wehu/grcv
A random constraint verification library based on proto and buddy
wehu/line
A elixir plug webpage
wehu/npu_backend
A tensorflow backend example
wehu/prcc
Prcc is a PEG-like combinator parser library by packrat parsing
wehu/armor
wehu/category-theory-for-programmers
e-book version of Bartosz Milewski's Category Theory for Programmers
wehu/croma
Elixir macro utilities
wehu/ele
An parser example by Erlang
wehu/gleam
Fast, efficient, and scalable distributed map/reduce system, DAG execution, in memory or on disk, written in pure Go, runs standalone or distributedly.
wehu/hw
A language for hardware simulation
wehu/infer
A static analyzer for Java, C and Objective-C
wehu/jumpserver
开源跳板机(堡垒机):认证,授权,审计,自动化运维(Open source springboard machine ( fortress machine ): Authentication, authorization, audit, automated operation and maintenance).http://www.jumpserver.org
wehu/jvm
A JVM by haskell
wehu/LazyVim
Neovim config for the lazy
wehu/leo-template
wehu/lionrock
wehu/misc
code pieces
wehu/plug
A specification and conveniences for composable modules in between web applications
wehu/pydv
wehu/sarama
Sarama is a Go library for Apache Kafka 0.8, 0.9, and 0.10.
wehu/starter
Starter template for LazyVim
wehu/systeme
wehu/systemgo
wehu/wehu.github.io