Search: github.com/yconst | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Cosmos is an operating system “construction kit”

github.com/CosmosOS

8 years ago

139 points

182.

Garment Notation Language: Formal descriptive language for clothing construction

github.com/khalildh

4 months ago

136 points

183.

FaCT: Constant Time Programming Language

github.com/PLSysSec

4 years ago

135 points

184.

CTTK: Constant-Time Toolkit

github.com/pornin

8 years ago

121 points

185.

Declarative GUI with constraints-based layout engine for Python

github.com/nucleic

4 years ago

120 points

186.

Webseclab – Web security test cases and a construction toolkit

github.com/yahoo

11 years ago

114 points

187.

MarkovJunior: Probabilistic PL based on pattern matching and constraint prop

github.com/mxgmn

4 years ago

113 points

188.

Show HN: Generate guitar tablature using a constraint solver

github.com/senshu

6 years ago

_mouvantsillage

109 points

189.

Constraint-based geometry (CAD) sketcher for Blender

github.com/hlorus

4 years ago

106 points

190.

Show HN: Using functions to construct Regex in Python

github.com/iogf

9 years ago

105 points

191.

The CUE Data Constraint Language

github.com/cuelang

7 years ago

91 points

192.

Show HN: Single-header C++11 HTML document constructor

github.com/tinfoilboy

8 years ago

87 points

193.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives

github.com/mit-plv

5 years ago

78 points

194.

A Conversation About OOP vs. FP Turns Constructive

github.com/svanderbleek

10 years ago

73 points

195.

Show HN: Open Source Constellation T-Shirts

github.com/teonite

8 years ago

68 points

196.

Pure Go implementation of D. J. Bernstein's cdb constant database library

github.com/jbarham

14 years ago

65 points

197.

Sparkey: A simple constant key/value storage library

github.com/spotify

2 years ago

57 points

198.

Lang: Python module for enforcing programming language constraints

github.com/amitassaraf

10 years ago

52 points

199.

Cosyan – Transactional RDBMS with multi-table constraint logic

github.com/gsvigruha

8 years ago

44 points

200.

Show HN: A pure Swift port of the Cassowary linear constraints solver

github.com/tribalworldwidelondon

9 years ago

39 points

201.

Show HN: MarkovJunior, PPL based on pattern matching and constraint propagation

github.com/mxgmn

4 years ago

36 points

202.

Reconstant: Share constant definitions between programming languages

github.com/aantn

5 years ago

33 points

203.

How to construct complex data declaratively and progressively?

github.com/allmonday

6 months ago

32 points

204.

JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing

github.com/delcypher

8 years ago

28 points

205.

FunSQL.jl – Julia library for compositional construction of SQL queries

github.com/MechanicalRabbit

4 years ago

25 points

206.

A constant throughput, correct latency recording variant of wrk

github.com/giltene

12 years ago

22 points

207.

Show HN: Construct YAML from a Directory Tree

github.com/sampointer

7 years ago

21 points

208.

Mina: Lightweight, Constant-Sized Blockchain

github.com/MinaProtocol

5 years ago

20 points

209.

Constellations from Around the World (2019)

github.com/eleanorlutz

2 years ago

20 points

210.

Implementations of white-box AES constructions and their cryptanalyses

github.com/OpenWhiteBox

11 years ago

20 points