Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
871.
▲
Show HN: Update command: shell scripts to update systems, packages, projects
(github.com/UpdateCommand)
1 point
jph
3 years ago
discuss
872.
▲
SBP: A Programming Paradigm for Building Secure Software and Operating Systems
(github.com/okTurtles)
1 point
gslepak
3 years ago
discuss
873.
▲
An end-of-life (EOL) package scanner for container images, systems, and SBOMs
(github.com/xeol-io)
1 point
mooreds
3 years ago
discuss
874.
▲
System Design Primer – Collection of resources to help building systems at scale
(github.com/donnemartin)
1 point
redbell
3 years ago
discuss
875.
▲
SCOPE: An Open and Softwarized Prototyping Platform for NextG Systems
(github.com/wineslab)
1 point
teleforce
3 years ago
discuss
876.
▲
Natural lang to shell command – Supporting all operating systems
(github.com/knid)
1 point
knid
3 years ago
discuss
877.
▲
Valve Software's fork of Eigen with alternate threading systems from OpenMP
(github.com/ValveSoftware)
1 point
app4soft
3 years ago
discuss
878.
▲
Compis: Contemporary systems programming language in the spirit of C
(github.com/rsms)
1 point
nateb2022
3 years ago
discuss
879.
▲
Retro.css – A list of retro-inspired CSS frameworks and design systems
(github.com/matt-auckland)
1 point
graderjs
3 years ago
discuss
880.
▲
Port of Pangea Software’s racing game Cro-Mag Rally to modern operating systems
(github.com/jorio)
1 point
Lammy
3 years ago
discuss
881.
▲
UMEC: Unified Model and Embedding Compression for Efficient Rec. Systems
(github.com/VITA-Group)
1 point
trifit
4 years ago
discuss
882.
▲
Val: Mutable value semantics and generic programming for systems programming
(github.com/val-lang)
1 point
ingve
4 years ago
discuss
883.
▲
Backup: Ruby Gem for Easy full stack backup operations on Unix-like systems
(github.com/backup)
1 point
thunderbong
4 years ago
discuss
884.
▲
Verus: Verified Rust for low-level systems code
(github.com/secure-foundations)
1 point
blopeur
4 years ago
discuss
885.
▲
Takeover Scada Systems
(github.com/aydinnyunus)
1 point
socketpuppets
4 years ago
discuss
886.
▲
Application recommender for GNU/Linux systems
(github.com/tassia)
1 point
pabs3
4 years ago
discuss
887.
▲
BSL: Header-only library for development of critical systems applications
(github.com/Bareflank)
1 point
ingve
4 years ago
discuss
888.
▲
Show HN: Go Micro – a Go framework for distributed systems development
(github.com/asim)
1 point
asim
5 years ago
discuss
889.
▲
Optimal Control for Switched Systems
(github.com/leggedrobotics)
1 point
unglaublich
5 years ago
discuss
890.
▲
Lutris: Play video games from all eras and from most gaming systems
(github.com/lutris)
1 point
indigodaddy
5 years ago
discuss
891.
▲
Show HN: uinix-ui – A minimal framework-agnostic UI system to build UI systems
(github.com/uinix-js)
1 point
chrisrzhou
5 years ago
discuss
892.
▲
Mech: Language for developing data-driven, reactive systems in Rust
(github.com/mech-lang)
1 point
adamnemecek
5 years ago
discuss
893.
▲
Automatically Detecting and Fixing Concurrency Bugs in Go Software Systems
(github.com/system-pclub)
1 point
mastabadtomm
5 years ago
discuss
894.
▲
Jepsen Maelstrom: Workbench for Learning to Write Distributed Systems
(github.com/jepsen-io)
1 point
cube2222
5 years ago
discuss
895.
▲
xdispatch: Grand Central Dispatch brought to all major operating systems
(github.com/mlba-team)
1 point
adamnemecek
5 years ago
discuss
896.
▲
Battery management utility for Linux systems written in Go
(github.com/leveson)
1 point
leveson
5 years ago
discuss
897.
▲
Code management tool for SAP systems written in ABAP
(github.com/abapGit)
1 point
sirffuzzylogik
5 years ago
discuss
898.
▲
Gossm: CLI for AWS Systems Manger Session Manager
(github.com/gjbae1212)
1 point
based2
6 years ago
discuss
899.
▲
C99 library for weird number systems such as base -1+I, base -2, and others
1 point
boofgod
6 years ago
discuss
900.
▲
Ask HN: Who is doing interesting work in distributed/p2p systems?
1 point
jamii
15 years ago
discuss
More