andylokandy/typed-type-exercise-in-rust andylokandy/typed-type-exercise-in-rust

  • Stars
    star
    96
  • Rank 340,001 (Top 7 %)
  • Language
    Rust
  • License
    MIT License
  • Created almost 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
andylokandy/typed-type-exercise-in-rust
github

andylokandy

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Build database expression type checker and vectorized runtime executor in type-safe Rust

More Repositories

1

gpt-4-search

A command line GPT-4 REPL with Google search in 200 lines of code
Python
356
star
2

simsearch-rs

A simple and lightweight fuzzy search engine that works in memory, searching for similar strings (a pun here).
Rust
150
star
3

arraydeque

A circular buffer with fixed capacity (Rust).
Rust
99
star
4

smallbox

Small Box optimization: store small item on stack and fallback to heap for large item.
Rust
68
star
5

comp-rs

Pure-macro Do notation and List-comprehension for Option, Result and Iterator.
Rust
51
star
6

nom-rule

A procedural macro for defining nom combinators in simple DSL
Rust
42
star
7

byte

A low-level, zero-copy, panic-free, binary serializer and deserializer. (parser and encoder)
Rust
40
star
8

preemptive

A minimum preemptive OS on Cortex-M3 (specially on blue-pill board) written in Rust.
Rust
33
star
9

article

markdown article
13
star
10

TAPL-Idris

Idris
8
star
11

jepsen-test

Jepsen test for TiKV
Clojure
6
star
12

logcall

An attribute macro that logs the function return value
Rust
5
star
13

plugin

Rust
4
star
14

drawvis

Rust
2
star
15

tla_for_programer

1
star