SupGen, an model-free program synthesizer by examples / dependent types

In plain words

SupGen is a program synthesizer that generates code from examples without requiring a predefined model. It uses dependent types to ensure correctness of synthesized programs. The tool is designed for developers and researchers who need to automatically create code based on input-output specifications. What distinguishes SupGen is its model-free approach, which allows it to work without predetermined templates or frameworks, making it adaptable to various programming tasks and domains.

written from the facts on this page · September 2026

• 
  A dependently-typed programming language with static memory management2020 · github.com · ▲456

  A functional programming language with static memory management - vekatze/neut

• FS
  Fuse – statically typed functional programming languageAug 2026 · fuselang.org · ▲121

  Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…

• TZ
  The ZynAddSubFX open source musical synthesizer2018 · zynaddsubfx.sf.net · ▲53
• JP
  JavaScript Program Synthesis2021 · grgv.xyz · ▲139
• 
  ZeroAug 2026 · zerolang.ai · ▲134

  Vercel's programming language built for AI agents

• 
  Program Synthesis for Ruby2022 · github.com · ▲82

  Program synthesis for Ruby. Contribute to ku-progsys/rbsyn development by creating an account on GitHub.

• 
  SimCity, but with Permits▲936

  A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.

  Life & fun · 4d ago · permit.petercai.com

• IV
  I've been paying for a rural Tanzanian's education for 10 years▲778

  Life & fun · 16d ago · tanzaniaeducationproject.org

• 
  Bigwords.page – Turn any screen into a sign. The URL is the app▲728

  Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.

  Life & fun · 17d ago · bigwords.page

• 
  Guitoro, a virtual guitar you strum with your keyboard▲573

  Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.

  Life & fun · 11d ago · guitoro.com

• 
  See *almost* any carriers phone settings▲432

  Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.

  Life & fun · 15d ago · carrierexplode.com

• 
  The whole Solar System and every tracked satellite, live in the browser▲407

  Life & fun · 25d ago · space.bl2.net

• 
  I made an open-source laptop from scratch▲3,237

  Hello! I'm Byran. I spent the past ~6 months engineering a laptop from scratch. It's fully open-source on GH at: https://github.com/Hello9999901/laptop

  Dev tools · 2025 · byran.ee

• TI
  Tetris in a PDF▲1,289

  I realized that the PDF engines of modern desktop browsers (PDFium and PDF.js) support JavaScript with enough I/O primitives to make a basic game like Tetris. It was a bit tricky to find a union of features that work in both engines, but in the end it turns out that showing/hiding annotation "fields" works well to make monochrome pixels, and keyboard input can be achieved by typing in a text input box. All in all it's quite janky but a nice reminder of how general purpose PDF scripting can be. The linked PDF is all ASCII so you can just open it in a text editor, or have a look at…

  Life & fun · 2025 · th0mas.nl

• 
  21st.dev▲1,211

  I originally built this app to organize and reuse interesting React + Tailwind components I came across on Twitter, inspired by the shadcn/ui approach. Later, a friend started contributing their own components, and it got me thinking—this could grow into something bigger, like an NPM for design engineers to share and use components. Would love to hear your thoughts!

  Dev tools · 2025 · 21st.dev

• 
  JoggAI 2.0: AI Avatar Generator▲967

  Create lifelike, personalized AI avatars from text prompts

  AI · 2025 · jogg.ai

• 
  Lovable + Builder.io▲873

  Turn Figma designs into full stack apps with AI

  Dev tools · 2025 · figma.com

• 
  Cs16.css – CSS library based on Counter Strike 1.6 UI▲819

  CSS library based on Counter Strike 1.6 UI.

  Life & fun · 2025 · cs16.samke.me