Search: github.com/Hirrolot | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Algebraic Data Types for C99

github.com/Hirrolot

2 years ago

376 points

2.

Datatype99: C99 with Sum Types, v0.1.0

github.com/Hirrolot

5 years ago

157 points

3.

Show HN: Poica – Algebraic data types and type introspection for pure C

github.com/Hirrolot

6 years ago

116 points

4.

A λ-calculus interpreter written in C preprocessor macros

github.com/Hirrolot

5 years ago

85 points

5.

Writing reliable and maintainable metaprograms in pure C99

github.com/hirrolot

8 months ago

9 points

6.

Metalang99: A rich functional language implemented in C99 preprocessor

github.com/hirrolot

8 months ago

5 points

7.

Epilepsy: A functional language for C preprocessor metaprogramming, v0.1.0

github.com/Hirrolot

5 years ago

4 points

8.

Metalang99: Full-Blown Preprocessor Metaprogramming

github.com/Hirrolot

2 years ago

3 points

9.

How to implement dependent types in 80 lines of code

gist.github.com

3 years ago

3 points

10.

Barebones Lambda Cube in OCaml

gist.github.com

4 years ago

3 points

11.

Metalang99: A functional language for C99 preprocessor metaprogramming

github.com/Hirrolot

5 years ago

2 points

12.

Interface99 – Type-safe zero-boilerplate interfaces for C99 in a single library

github.com/Hirrolot

5 years ago

2 points

13.

Metalang99: Full-blown preprocessor metaprogramming for pure C

github.com/Hirrolot

5 years ago

2 points

14.

Full-featured OOP interfaces for C99

github.com/Hirrolot

4 years ago

1 points

15.

SmolRTSP: A lightweight real-time streaming library for IP cameras

github.com/OpenIPC

4 years ago

18 points

16.

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 to LLVM bitcode

github.com/lifting-bits

2 years ago

5 points

17.

Show HN: Rust-ontologist – A tool for visualizing Rust codebases in seconds

github.com/lava-xyz

2 years ago

4 points

18.

A multi-level tensor algebra superoptimizer

github.com/mirage-project

2 years ago

2 points