← 최신 프로덕트

Swapple

a little daily puzzle on linear reversible circuit synthesis.

swapple.fuglede.dk 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Tiny Hoare logic verifier using SMT

    github.com

    Course on Metaprogramming

    Hacker News12점

  2. The Little Book of C

    github.com

    A concise, structured guide to the C programming language.

    Hacker News37점

  3. SupGen

    youtube.com

    an model-free program synthesizer by examples / dependent types

    Hacker News21점

  4. TinyOS

    github.com

    A minimalist RTOS for Cortex-M written in C

    Hacker News102점

  5. Curated Transformers

    github.com

    PyTorch LLMs with less code duplication

    Hacker News10점