Popular repositories Loading

1. MarketDataSimulator MarketDataSimulator Public

   A teaching exchange: snapshot and incremental market data.

   C# 1

2. SMC17 SMC17 Public

   SMC17 — SMC17 project

   1

3. logic-zig logic-zig Public

   An executable museum of logic: one system, one evidence file, Zig.

   Zig 1

4. finance-segway finance-segway Public

   The story behind the numbers: hashed historical cases, not a forecast.

   HTML 1 1

5. lean-action lean-action Public

   Forked from leanprover/lean-action

   GitHub action for standard CI in Lean projects

   Shell