Christian Pehle (@cpehle)
github

cpehle

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    74
  • Global Rank 258,484 (Top 9 %)
  • Followers 74
  • Following 34
  • Registered over 11 years ago
  • Most used languages
    C++
         25.0 %
    Python
         25.0 %
    Haskell
         12.5 %
    Shell
         6.3 %
    SystemVerilog     6.3 %
    Coq     6.3 %
    OCaml
         6.3 %
    Lean     6.3 %
    Assembly
         6.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 55,665
  • Country Ranking
    Lean     83
    Coq     204
    SystemVerilog     322
    OCaml
         467
    Haskell
         1,829
    Assembly
         2,040
    C++
         7,252

Top repositories

1

ncore

A RISC-V processor in system verilog
C++
12
star
2

platon

A programming language
OCaml
4
star
3

aedat

AEDAT 3.1 and AEDAT 4.0 address event decoding in C++
C++
3
star
4

lean-mlir

MLIR bindings for lean4
3
star
5

bn

a minimal dependency free way of generating ninja build files for lean4 packages
Lean
2
star
6

rules_verilog

Verilog build rules for bazel.
Python
2
star
7

x64_jit

C++
2
star
8

cascade

Cycle based C++ hardware simulation infrastructure
C++
2
star
9

aurora

Prototype implementation of aurora link
SystemVerilog
1
star
10

emulating-quantum-computation-with-ann

An implementation of quantum gates with SNN / ANN.
Python
1
star
11

neuromorphic-quantum-computing

Repository with Code and Data to reproduce https://arxiv.org/abs/2005.01533
1
star
12

bsg_ip_cores

Mirror of bsg_ip_cores on bitbucket
Coq
1
star
13

lean4-mlir

1
star
14

beth

Power Instruction Set tools
Haskell
1
star
15

minos

naive graph algorithm playground
Python
1
star
16

pybind11gen

Generate python bindings via pybind11 and libclang
Python
1
star
17

iota

Haskell
1
star
18

bsg_riscv

Assembly
1
star
19

lean4-plugin-example

Shell
1
star