Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
31.
▲
Change of Name: Coq –> The Rocq Prover
(github.com/coq)
35 points
luu
2 years ago
48 comments
32.
▲
Cparser – A C99 parser (with GNU extensions) (2020)
(github.com/libfirm)
31 points
peter_d_sherman
3 years ago
1 comment
33.
▲
Flammarion – browser-based Ruby GUI Toolkit
(github.com/zach-capalbo)
26 points
MrBra
10 years ago
3 comments
34.
▲
CParser: A C preprocessor written in pure Lua with useful extensions
(github.com/facebookresearch)
24 points
pcr910303
6 years ago
2 comments
35.
▲
Miasm: A reverse engineering framework in Python
(github.com/cea-sec)
22 points
progval
11 years ago
discuss
36.
▲
OpenRidingController – DIY horse riding controller for the PC
(github.com/Squalius-cephalus)
21 points
zdw
5 days ago
7 comments
37.
▲
Automated Ceph cluster deployment with SaltStack
(github.com/komljen)
21 points
myacc
12 years ago
discuss
38.
▲
Cedar - BDD Testing for Objective-C
(github.com/pivotal)
18 points
dqminh
14 years ago
2 comments
39.
▲
Show HN: Rebridge v2.0 – A transparent bridge between JavaScript and Redis
(github.com/CapacitorSet)
17 points
CapacitorSet
9 years ago
6 comments
40.
▲
Miasm – Reverse engineering framework in Python
(github.com/cea-sec)
12 points
ponytech
11 years ago
discuss
41.
▲
Show HN: A simple static jinja2 site generator
(github.com/Ceasar)
11 points
yefim323
14 years ago
5 comments
42.
▲
Smart.js – Embedded JavaScript engine for C/C++
(github.com/cesanta)
11 points
conductor
11 years ago
2 comments
43.
▲
Show HN: A zero-latency online music performance app
(github.com/gasnew)
11 points
gasnew
5 years ago
1 comment
44.
▲
Show HN: 'Go to Definition' for GitHub
(github.com/capablemonkey)
10 points
capablemonkey
10 years ago
discuss
45.
▲
Official Ceph Distributed Filesystem Bindings for Rust Released
(github.com/ceph)
9 points
KenanSulayman
10 years ago
discuss
46.
▲
Arete: Simple load testing for Node.js
(github.com/capablemonkey)
7 points
capablemonkey
12 years ago
discuss
47.
▲
Show HN: Open-lmake, a scalable, reliable build system with auto dep-tracking
(github.com/cesar-douady)
6 points
cd_fr91400
a year ago
discuss
48.
▲
Cpad an alternative way to combine your commands
(github.com/AmineZouitine)
6 points
AdilZtn
4 years ago
discuss
49.
▲
Create modern browser extensions with no build configuration
(github.com/cezaraugusto)
5 points
feross
5 years ago
discuss
50.
▲
Show HN: reveal-cli – A tool for generating Reveal.JS presentations from the CLI
(github.com/cesar)
5 points
CesariusX
10 years ago
discuss
51.
▲
A multiplayer DOOM-like in pure SQL
(github.com/cedardb)
4 points
doppp
9 months ago
discuss
52.
▲
Show HN: Copy Folder Contents for Easy Prompting
(github.com/romansky)
4 points
leroman
2 years ago
discuss
53.
▲
Show HN: Run AWS Cedar Policy Like OPA
(github.com/permitio)
4 points
orweis
3 years ago
discuss
54.
▲
Cparse: LR(1) and LALR(1) parser generator for C
(github.com/jafarlihi)
4 points
signa11
3 years ago
discuss
55.
▲
Show HN: Cparse is an LR(1) and LALR(1) parser generator in C
(github.com/h2337)
3 points
h2337
8 months ago
2 comments
56.
▲
I created a network-invisible OpenClaw mesh orchestration app
(github.com/cezarpena)
3 points
cezarpena
2 months ago
1 comment
57.
▲
Show HN: A simple open-source CLI tool for generating invoices from the terminal
(github.com/cemalidev)
3 points
genxer
9 months ago
1 comment
58.
▲
Cedar – open-source policy language and evaluation engine
(github.com/cedar-policy)
3 points
max2
3 years ago
1 comment
59.
▲
A gem for fetching addresses from Brazilian zip codes
(github.com/rodrigoalvesvieira)
3 points
rodrigoavie
14 years ago
discuss
60.
▲
Show HN: Cepl – A readline C/C++ REPL with history, tab-completion, and undo
(github.com/alyptik)
3 points
alyptik
9 months ago
discuss
More