Search: github.com/system-f | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: A partial HTTP server written in brainfuck extended with syscalls (github.com/ajyoon)

103 points

9 years ago

2.

Cisco/systemf: Prepared statement support for the system() command (github.com/cisco)

8 points

5 years ago

3.

Functional Programming Course (github.com/system-f)

3 points

4 years ago

4.

System font stack CSS organized by typeface classification for every modern OS (github.com/system-fonts)

2 points

a year ago

5.

Sites designed with System Fonts (github.com/mrmrs)

2 points

10 years ago

6.

Easy flamegraphs without Perl or pipes (github.com/ferrous-systems)

2 points

7 years ago

7.

System font stack CSS organized by typeface classification for every modern OS (github.com/system-fonts)

1 point

3 years ago

8.

Systemf: Prepared statement support for the system command (github.com/cisco)

1 point

5 years ago

9.

Show HN: Pointfree FP-Interpreter with Combinators and Pure Functions (github.com/fp-system)

1 point

6 years ago

10.

Show HN: Paper and Book List of System for Machine Learning (github.com/HuaizhengZhang)

3 points

6 years ago

11.

Recommendation System for blog content (github.com/naveenwashere)

3 points

9 years ago

12.

Use Source Sans as System Typeface for Yosemite (github.com/kemie)

3 points

12 years ago

13.

Shipping System Fonts to Github.com (markdotto.com)

2 points

3 months ago

14.

Shipping system fonts to GitHub.com (markdotto.com)

1 point

8 years ago

15.

Shipping system fonts to GitHub.com (markdotto.com)

1 point

8 years ago

16.

Ask HN: How do you keep AI assistants consistent with your personal preferences?

1 point

9 months ago

17.

Show HN: Trane-rustlings, learn Rust with Trane and rustligns (github.com/trane-project)

1 point

4 years ago

18.

A formally verified proof of the soundness of System F (github.com/stepchowfun)

2 points

7 years ago

19.

Linux kernel rpm for CentOS6 build system on Mac OS X (github.com/matsumoto-r)

2 points

10 years ago

20.

Home Cloud: User Management System for the Server (OpenSource / GitHub)

1 point

9 years ago

21.

Bidirectional typing with unification for higher-rank polymorphism (github.com/brendanzab)

3 points

a year ago

22.

Elfshaker: Version control system fine-tuned for binaries (github.com/elfshaker)

599 points

5 years ago

23.

Tree-sitter: an incremental parsing system for programming tools (github.com/tree-sitter)

476 points

5 years ago

24.

Writing a “bare metal” operating system for Raspberry Pi 4 (github.com/isometimes)

453 points

5 years ago

25.

XSLT – Native, zero-config build system for the Web (github.com/pacocoursey)

392 points

a year ago

26.

Serenity: x86 Unix-like operating system for IBM PC-compatibles (github.com/awesomekling)

335 points

7 years ago

27.

SeaweedFS fast distributed storage system for blobs, objects, files and datalake (github.com/seaweedfs)

328 points

thushanfernando

2 years ago

28.

MotorOS: a Rust-first operating system for x64 VMs (github.com/moturus)

328 points

2 years ago

29.

A Python implementation of formal systems from the book “Gödel, Escher, Bach” (github.com/alexprengere)

310 points

9 years ago

30.

Huginn: System for building agents that perform automated tasks online (github.com/huginn)

270 points

4 years ago