Search: github.com/fraware | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware)

1 point

9 months ago

2.

Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)

52 points

a year ago

3.

System76 Open Firmware (github.com/system76)

407 points

3 years ago

4.

platform: Enable support for Pi2+ (github.com/raspberrypi)

25 points

10 years ago

5.

E-Ink TRMNL device firmware (github.com/usetrmnl)

13 points

a year ago

6.

Show HN: Fragaria – From 'R's in Strawberry to Complex Problem-Solving AI (github.com/terraprompt)

4 points

2 years ago

7.

Show HN: I made a FreeWare Index for windows (github.com/Doubtme)

3 points

13 years ago

8.

Show HN: Logging to MongoDB in Python (github.com/frawgie)

3 points

13 years ago

9.

CurVis: a Rust raytracer over curved spacetimes (github.com/fragarriss)

3 points

2 years ago

10.

System76 Open Firmware (github.com/system76)

3 points

7 years ago

11.

Show HN: DotConfig (github.com/frawgie)

2 points

12 years ago

12.

Flask Starter Kit (github.com/frawgie)

2 points

12 years ago

13.

Logmonger 0.2 released (github.com/frawgie)

2 points

13 years ago

14.

The OTOH Firmware (Arduino & Firmata) (github.com/otoh)

2 points

15 years ago

15.

A repo for all Apple EFI firmware files (github.com/gdbinit)

2 points

9 years ago

16.

Cool high-performance firmware for real-time data acquisition with ATmega328p (github.com/BITalinoWorld)

1 point

12 years ago

17.

Pyzone, avoid the HN-Reddit loop (github.com/frawgie)

1 point

13 years ago

18.

Libre/open hardware design/manufacture and security (github.com/hardenedlinux)

1 point

6 years ago

19.

Show HN: A high-altitude low-power flight computer for high-altitude balloons (github.com/New-England-Weather-Balloon-Society)

42 points

10 months ago

20.

Where is the source code for the actual bootloader shipped with the Prusa Mini+? (github.com/prusa3d)

100 points

5 years ago

21.

Open-Source Flipper Zero Firmware: Unlock Your Device's Full Potential (github.com/flipperdevices)

55 points

2 years ago

22.

Flipper Zero Firmware Is Now Open Source (github.com/flipperdevices)

31 points

5 years ago

23.

Thingino: Camera firmware derived from OpenIPC focused on the Ingenic SoC (github.com/themactep)

6 points

2 years ago

24.

Netronome open sourced SmartNIC firmware with BPF offload support (github.com/Netronome)

6 points

7 years ago

25.

UEFI Firmware Parser: Parse BIOS/Intel ME/UEFI Firmware Related Structures (github.com/theopolis)

3 points

10 years ago

26.

Open source firmware for the TSDZ2 mid-drive motor on DIY e-bikes (github.com/OpenSource-EBike-firmware)

2 points

6 years ago

27.

My friend David is sick -- I'm making a video for him (github.com/heelhook)

2 points

14 years ago

28.

Lkbm: LED-Key BitMasks to Control the Ploopy Nano Trackball (github.com/qmk)

2 points

2 years ago

29.

Explore the latest OpenSK FIDO2 authenticator firmware with nRF52840 (github.com/makerdiary)

2 points

3 years ago

30.

Flipper Zero firmware source code (github.com/flipperdevices)

2 points

3 years ago