HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
571.
▲
Self-Hostable Form Back End – OSS Alternative to Formspree
github.com/FormBee
36 comments
a year ago
Oia20
177 points
572.
▲
Coq-of-rust: Formal verification tool for Rust
github.com/formal-land
42 comments
a year ago
todsacerdoti
159 points
573.
▲
Forth implemented in Rust trait system
github.com/Ashymad
84 comments
6 years ago
Ashymad
157 points
574.
▲
Sorting algorithms visualized using the Blender Python API
github.com/ForeignGods
45 comments
4 years ago
tosh
157 points
575.
▲
Lisp in Forth
github.com/schani
63 comments
5 years ago
tosh
155 points
576.
▲
Show HN: Formbricks – Open-source alternative to Typeform and Sprig
github.com/formbricks
39 comments
3 years ago
matthiasnannt
155 points
577.
▲
Show HN: Forkrun – NUMA-aware shell parallelizer (50×–400× faster than parallel)
github.com/jkool702
41 comments
3 months ago
jkool702
151 points
578.
▲
Show HN: We built a terminal-only Bluesky / AT Proto client written in Fortran
github.com/FormerLab
84 comments
3 months ago
FormerLabFred
145 points
579.
▲
Forge – Work with Git forges from the comfort of Magit
github.com/magit
34 comments
7 years ago
jdormit
141 points
580.
▲
Show HN: Whirlwind – Async concurrent hashmap for Rust
github.com/fortress-build
54 comments
2 years ago
willothy
140 points
581.
▲
Formal Systems in Biology
github.com/prathyvsh
37 comments
6 years ago
tablet
133 points
582.
▲
Forest, a multi-syntax functional language that compiles to WebAssembly
github.com/forest-lang
24 comments
8 years ago
eterps
132 points
583.
▲
TScale – Distributed training on consumer GPUs
github.com/Foreseerr
27 comments
a year ago
zX41ZdbW
130 points
584.
▲
React Game Kit
github.com/FormidableLabs
45 comments
10 years ago
clessg
124 points
585.
▲
Gokapi: Lightweight selfhosted Firefox Send alternative with AWS S3 support
github.com/Forceu
37 comments
2 years ago
thunderbong
121 points
586.
▲
Show HN: H2 Forth CPU
github.com/howerj
26 comments
7 years ago
howerj
120 points
587.
▲
Fortran Package Manager
github.com/fortran-lang
71 comments
5 years ago
rbanffy
118 points
588.
▲
Advanced Scientific Data Format
github.com/asdf-format
121 comments
4 years ago
anigbrowl
117 points
589.
▲
Show HN: 100 LOC Ruby forward proxy using only standard libraries
github.com/jamesmoriarty
37 comments
5 years ago
moriarty_
115 points
590.
▲
The Open Source Computer Science Degree
github.com/ForrestKnight
49 comments
2 years ago
cbracketdash
113 points
591.
▲
Activity diagram to describe the resolution of HTTP response status codes
github.com/for-GET
10 comments
7 years ago
pcr910303
113 points
592.
▲
Show HN: A minimal Fortran TCP client and server
github.com/modern-fortran
45 comments
7 years ago
milancurcic
110 points
593.
▲
Security 101 for SaaS startups
github.com/forter
67 comments
9 years ago
dpaluy
105 points
594.
▲
Forscape – A Language and Editor for Scientific Computation
github.com/JohnDTill
33 comments
2 years ago
faresahmed
105 points
595.
▲
Excel formulas in JavaScript
github.com/sutoiku
54 comments
12 years ago
clxl
102 points
596.
▲
Formality – An efficient programming language and proof assistant
github.com/maiavictor
23 comments
8 years ago
maiavictor
102 points
597.
▲
Forgit: A utility tool powered by fzf for using Git interactively
github.com/wfxr
24 comments
4 years ago
kdheepak
99 points
598.
▲
Fortran Standard Library
github.com/fortran-lang
87 comments
6 years ago
sedachv
97 points
599.
▲
Verilog Ethernet: Work-in-Progress 100BASE-TX PHY
github.com/Forty-Bot
65 comments
3 years ago
pabs3
95 points
600.
▲
Security 101 for SaaS startups
github.com/forter
14 comments
9 years ago
lumisota
94 points
More