Robin Freyler (@Robbepop)
github

Robbepop

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    523
  • Global Rank 55,519 (Top 2 %)
  • Followers 195
  • Following 148
  • Registered over 10 years ago
  • Most used languages
    Rust
         86.2 %
    C++
         13.8 %
  • Location 🇩🇪 Germany
  • Country Total Rank 3,350
  • Country Ranking
    Rust
         96
    C++
         2,108

Top repositories

1

string-interner

A data structure to efficiently intern, cache and restore strings.
Rust
171
star
2

modular-bitfield

Macro to generate bitfields for structs that allow for modular use of enums.
Rust
160
star
3

prophet

A simple neural net implementation.
Rust
39
star
4

stevia

A simple (unfinished) SMT solver for QF_ABV.
Rust
35
star
5

apint

Arbitrary precision integers library.
Rust
27
star
6

enum-tag

Proc. macro to generate C-like `enum` tags.
Rust
13
star
7

dynarray

Adjusted implementation of std::experimental::dynarray without stack allocation.
C++
12
star
8

runwell

An experimental WebAssembly virtual machine.
Rust
12
star
9

dimacs-parser

Utilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Rust
8
star
10

clpp

A thin header-only wrapper around OpenCL 2.0+ for modern and highlevel C++.
C++
4
star
11

cionc

The toy-compiler for the Cion programming language.
Rust
4
star
12

union-fn

Proc macros for union function data structure.
Rust
4
star
13

enum-codec

Space-efficient codec for Rust `enum` types.
Rust
4
star
14

intx

Rust
3
star
15

non-pdsl-example

One of the most simplest smart contracts written without the pDSL
Rust
3
star
16

cnf-parser

Efficient and customizable CNF parser for SAT solving.
Rust
3
star
17

state_ptr

A pointer that allows to store state into unused bits of the address.
C++
3
star
18

bucket_vec

A vector-like collection that guarantees not to move its internal elements.
Rust
3
star
19

cionc-old

The compiler front end for the Cion programming language.
C++
2
star
20

indexmap-nostd

A `no_std` implementation of the `indexmap` crate.
Rust
2
star
21

two-phase-structure

A repo that describes a smart contract structure for the planned two-phase compilation approach.
Rust
2
star
22

addressable-pairing-heap

An addressable pairing heap implementation for Rust.
Rust
1
star
23

tyname

Retrieve type names during program execution on stable Rust.
Rust
1
star
24

wasm_kernel

A Wasm kernel for benchmarking wasmi.
Rust
1
star
25

rust_m3

An attempt at building a threaded code interpreter architecture in Rust.
Rust
1
star
26

enum-ref

Proc. macro for generating reference wrappers for Rust `enum` types.
Rust
1
star
27

interpreter-dispatch-research

Some research on efficient interpreter instruction dispatch in Rust.
Rust
1
star
28

ipasir-rs

FFI bindings for the IPASIR incremental SAT solver interface.
Rust
1
star
29

multi-stash

A vector-like data structure that reuses slots for new elements.
Rust
1
star