Search: github.com/boo1ean | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Tseitin_CLI: Transform boolean equation to CNF with Tseitin Transformation (github.com/mauzigoe)

1 point

a year ago

32.

[rails-core] request.xhr? returns 0 or nil instead of boolean (github.com/rails)

1 point

14 years ago

33.

Show HN: driver – a TypeScript pkg for declaring finite states via boolean logic (github.com/switz)

1 point

3 years ago

34.

NURBS Intersection Boolean Operation in SolveSpace CAD (github.com/solvespace)

1 point

6 years ago

35.

Minimizing Boolean Functions (Quine–McCluskey) (jafl.github.com)

1 point

16 years ago

36.

Algebraic blindness: Boolean blindness for often type systems (github.com/quchen)

1 point

8 years ago

37.

Show HN: Chili3d – A open-source, browser-based 3D CAD application

408 points

a year ago

38.

Show HN: Open-source Postman alternative with type safety (recipeui.com)

275 points

3 years ago

39.

Launch HN: Sweep (YC S23) – A bot to create simple PRs in your codebase (github.com/sweepai)

198 points

3 years ago

40.

Show HN: Crust – A CLI framework for TypeScript and Bun (github.com/chenxin-yan)

95 points

3 months ago

41.

An emulator for a single-instruction (NOR) CPU

48 points

10 years ago

42.

Show HN: WIP NandToTetris Emulator in pure C – logic gates to ALU to CPU to PC (github.com/con-dog)

43 points

a year ago

43.

Show HN: Varse – Simple remote application config (github.com/varse-io)

38 points

2 years ago

44.

Show HN: An expression parser supporting multiple types (github.com/torrentg)

33 points

2 years ago

45.

Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11 (adashape.com)

32 points

2 months ago

46.

Show HN: Polaris, a self-hosted music streaming server in Rust (github.com/agersant)

31 points

a year ago

47.

Doo: A Simple, Fast Programming Language Built on Rust and LLVM

15 points

7 months ago

48.

Show HN: Paradict – Streamable multi-format serialization with schema (github.com/pyrustic)

14 points

2 years ago

49.

Show HN: Fp-filters – A curated collection of TS/JS array filter functions (npmjs.com)

11 points

a year ago

50.

Show HN: Checkpoint 401 – forward auth server in TypeScript / Deno (github.com/crowdwave)

9 points

2 years ago

51.

Show HN: Tandem – An Engine for Secure Multi-Party Computation (Written in Rust) (github.com/sine-fdn)

9 points

4 years ago

52.

Show HN: Wosp – advanced full-text search on the command line (github.com/atrettel)

8 points

7 months ago

53.

Show HN: What's HN Working On – A structured dataset (github.com/getomni-ai)

7 points

2 years ago

54.

Spotify's take on ADRs is great, but how do you enforce them at scale?

6 points

3 months ago

55.

Show HN: State-in-url package for state management with URL sync (github.com/asmyshlyaev177)

6 points

2 years ago

56.

Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software (github.com/jeremyaboyd)

5 points

7 months ago

57.

Show HN: PyMOL-RS – Rust reimplementation of PyMOL with modern rendering (github.com/zmactep)

5 points

3 months ago

58.

Show HN: DJX – Convention over Configuration for Django (Rails-Inspired CLI)

5 points

3 months ago

59.

Show HN: SearchArray – Text Search in Pandas

5 points

3 years ago

60.

Show HN: Fetch API compatible, complex form data / JSON body parser and guard (github.com/auth70)

5 points

3 years ago