Search: github.com/yconst | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

CTTK: Constant-Time Toolkit (github.com/pornin)

121 points

8 years ago

182.

Declarative GUI with constraints-based layout engine for Python (github.com/nucleic)

120 points

4 years ago

183.

Webseclab – Web security test cases and a construction toolkit (github.com/yahoo)

114 points

11 years ago

184.

MarkovJunior: Probabilistic PL based on pattern matching and constraint prop (github.com/mxgmn)

113 points

4 years ago

185.

Show HN: Generate guitar tablature using a constraint solver (github.com/senshu)

109 points

_mouvantsillage

6 years ago

186.

Constraint-based geometry (CAD) sketcher for Blender (github.com/hlorus)

106 points

4 years ago

187.

Show HN: Using functions to construct Regex in Python (github.com/iogf)

105 points

9 years ago

188.

The CUE Data Constraint Language (github.com/cuelang)

91 points

7 years ago

189.

Show HN: Single-header C++11 HTML document constructor (github.com/tinfoilboy)

87 points

7 years ago

190.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives (github.com/mit-plv)

78 points

5 years ago

191.

A Conversation About OOP vs. FP Turns Constructive (github.com/svanderbleek)

73 points

10 years ago

192.

Show HN: Open Source Constellation T-Shirts (github.com/teonite)

68 points

8 years ago

193.

Pure Go implementation of D. J. Bernstein's cdb constant database library (github.com/jbarham)

65 points

14 years ago

194.

Sparkey: A simple constant key/value storage library (github.com/spotify)

57 points

2 years ago

195.

Lang: Python module for enforcing programming language constraints (github.com/amitassaraf)

52 points

10 years ago

196.

Cosyan – Transactional RDBMS with multi-table constraint logic (github.com/gsvigruha)

44 points

8 years ago

197.

Show HN: A pure Swift port of the Cassowary linear constraints solver (github.com/tribalworldwidelondon)

39 points

9 years ago

198.

Show HN: MarkovJunior, PPL based on pattern matching and constraint propagation (github.com/mxgmn)

36 points

4 years ago

199.

Reconstant: Share constant definitions between programming languages (github.com/aantn)

33 points

5 years ago

200.

How to construct complex data declaratively and progressively? (github.com/allmonday)

32 points

5 months ago

201.

JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing (github.com/delcypher)

28 points

8 years ago

202.

FunSQL.jl – Julia library for compositional construction of SQL queries (github.com/MechanicalRabbit)

25 points

4 years ago

203.

A constant throughput, correct latency recording variant of wrk (github.com/giltene)

22 points

12 years ago

204.

Show HN: Construct YAML from a Directory Tree (github.com/sampointer)

21 points

7 years ago

205.

Mina: Lightweight, Constant-Sized Blockchain (github.com/MinaProtocol)

20 points

5 years ago

206.

Constellations from Around the World (2019) (github.com/eleanorlutz)

20 points

2 years ago

207.

Implementations of white-box AES constructions and their cryptanalyses (github.com/OpenWhiteBox)

20 points

11 years ago

208.

VerbalExpressions – JavaScript library that helps construct regular expressions (github.com/jehna)

18 points

13 years ago

209.

Advanced Python Constructs (scipy-lectures.github.com)

17 points

13 years ago

210.

Swift value constant can mutate using Copy-on-Write (CoW) and multi-threading (gist.github.com)

15 points

7 years ago