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

HK

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

10 years ago

103 points

2.

Cisco/systemf: Prepared statement support for the system() command

github.com/cisco

5 years ago

8 points

3.

Functional Programming Course

github.com/system-f

4 years ago

3 points

4.

System font stack CSS organized by typeface classification for every modern OS

github.com/system-fonts

a year ago

2 points

5.

Sites designed with System Fonts

github.com/mrmrs

10 years ago

2 points

6.

Easy flamegraphs without Perl or pipes

github.com/ferrous-systems

7 years ago

2 points

7.

System font stack CSS organized by typeface classification for every modern OS

github.com/system-fonts

3 years ago

1 points

8.

Systemf: Prepared statement support for the system command

github.com/cisco

5 years ago

1 points

9.

Show HN: Pointfree FP-Interpreter with Combinators and Pure Functions

github.com/fp-system

6 years ago

1 points

10.

Show HN: Paper and Book List of System for Machine Learning

github.com/HuaizhengZhang

6 years ago

3 points

11.

Recommendation System for blog content

github.com/naveenwashere

9 years ago

3 points

12.

Use Source Sans as System Typeface for Yosemite

github.com/kemie

12 years ago

3 points

13.

Shipping System Fonts to Github.com

4 months ago

2 points

14.

Shipping system fonts to GitHub.com

8 years ago

1 points

15.

Shipping system fonts to GitHub.com

8 years ago

1 points

16.

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

9 months ago

1 points

17.

Show HN: Trane-rustlings, learn Rust with Trane and rustligns

github.com/trane-project

4 years ago

1 points

18.

A formally verified proof of the soundness of System F

github.com/stepchowfun

7 years ago

2 points

19.

Linux kernel rpm for CentOS6 build system on Mac OS X

github.com/matsumoto-r

10 years ago

2 points

20.

Show HN: Jynx, a matchmaking app to find gaming teammates

23 days ago

5 points

21.

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

9 years ago

1 points

22.

Bidirectional typing with unification for higher-rank polymorphism

github.com/brendanzab

a year ago

3 points

23.

Elfshaker: Version control system fine-tuned for binaries

github.com/elfshaker

5 years ago

599 points

24.

Tree-sitter: an incremental parsing system for programming tools

github.com/tree-sitter

5 years ago

476 points

25.

Writing a “bare metal” operating system for Raspberry Pi 4

github.com/isometimes

5 years ago

453 points

26.

XSLT – Native, zero-config build system for the Web

github.com/pacocoursey

a year ago

392 points

27.

Serenity: x86 Unix-like operating system for IBM PC-compatibles

github.com/awesomekling

7 years ago

335 points

28.

SeaweedFS fast distributed storage system for blobs, objects, files and datalake

github.com/seaweedfs

2 years ago

thushanfernando

328 points

29.

MotorOS: a Rust-first operating system for x64 VMs

github.com/moturus

2 years ago

328 points

30.

A Python implementation of formal systems from the book “Gödel, Escher, Bach”

github.com/alexprengere

9 years ago

310 points