Life & fun · alternatives · 2026
24 alternatives to SupGen, an model-free program synthesizer by examples / dependent types
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… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 2
v0.dev by Vercel▲549Generate UI with simple text prompts: copy, paste, ship
2023 · v0.app · its alternatives →
- 3
- 4FS
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…
Aug 2026 · fuselang.org · its alternatives →
- 5TZ
2018 · zynaddsubfx.sf.net · its alternatives →
- 6JP
2021 · grgv.xyz · its alternatives →
- 7
Zero▲134Vercel's programming language built for AI agents
Aug 2026 · zerolang.ai · its alternatives →
- 8
Program synthesis for Ruby. Contribute to ku-progsys/rbsyn development by creating an account on GitHub.
2022 · github.com · its alternatives →
- 9
Creating high-quality scientific figures can be time-consuming and challenging, even though sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are not stored in formats preserving semantic information is equally complex. To tackle this problem, we introduce DeTikZify, a novel multimodal language model that automatically synthesizes scientific figures as semantics-preserving TikZ graphics programs based on sketches and existing figures. We also introduce a Monte Carlo Tree Search-based inference algorithm that enables DeTikZify to iteratively refine its…
2024 · github.com · its alternatives →
- 10
We developed a new framework that enables flexible control of generated text in language models. By combining several models and/or system prompts in one mathematical formula, it lets you tweak your style and combine model outputs with ease. A handy tool for those working with LLMs, looking for more fine-grained control of stylistic output. More details in our paper: https://arxiv.org/abs/2311.14479. Feedback and potential applications are welcome.
2023 · github.com · its alternatives →
- 11
Haskell re-implementation of STOKE, the stochastic superoptimizer - blaze/notebooks/tutorial.ipynb at master · bollu/blaze
2019 · github.com · its alternatives →
- 12
An approach for runtime detection inside a constexpr function - SaadAhmad/in_constexpr
2017 · github.com · its alternatives →
- 13
This is part of my journey on pybind11. I wrote a tiny FM Synthesis library in C++ and a Python wrapper for that using pybind11. There is a command-line piano app in the examples directory if you want to play with it. Here is the link: https://github.com/charstorm/koelsynth/tree/main/examples/si... My next target is to attach this to some kind of physics simulation - like a bunch of balls moving around in a box with some internal walls. When the ball hits certain trigger points, it produces the sound.
2023 · github.com · its alternatives →
- 14
I've been spending some time coding fp. It is a programming language heavily inspired by the language John Backus described in his 1977 Turing Award lecture. There's plenty of examples in the projects github repository for the interested!
2022 · github.com · its alternatives →
- 15
A powerful realtime node-based audio synthesizer. Contribute to monadgroup/axiom development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 16
By Rishabh Singh, Jacob Devlin, Abdelrahman Mohamed, and Pushmeet Kohli, Microsoft Research Despite the many advances in computing over the past decades, the actual process of writing computer software has not fundamentally changed — a programmer must manually code the exact algorithmic logic of a p
2017 · microsoft.com · its alternatives →
- 17CA
2017 · billsix.github.io · its alternatives →
- 18
I built k-synth as an experiment to see if a minimalist, K-inspired array language could make sketching waveforms faster and more intuitive than traditional code. I’ve put together a web-based toolkit so you can try the syntax directly in the browser without having to touch a compiler: Live Toolkit: https://octetta.github.io/k-synth/ If you visit the page, here is a quick path to an audio payoff: - Click "patches" and choose dm-bell.ks. - Click "run"—the notebook area will update. Click the waveform to hear the result. - Click the "->0" button below the waveform to copy…
Mar 2026 · octetta.github.io · its alternatives →
- 19
A minimalist type-inferred programming language with procedural macro support - murisi/L2
2017 · github.com · its alternatives →
- 20
This is an introduction to the "Nature" project: https://nature-lang.org/docs/getting-started/meet-nature I am the author of the Nature language, and today I have released the 0.4.0-beta version. For detailed updates, please see https://nature-lang.org/docs/prologue/release-notes Now, Nature can easily interact with C language. It is anticipated that in about six months, Nature will release a version available to the community. By then, there will be stable syntax API, a complete standard library, and support for development tools. Moreover,…
2025 · github.com · its alternatives →
- 21
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate. Such a nice DX combo for writing new languages. Still a work in progress, but I thought I'd share :)
2025 · github.com · its alternatives →
- 22
I spent the past 2 weeks making this toy programming language. I basically forked the Go scanner/parser, and changed the syntax to have functions return a single value. This enable proper Result/Option type to be used as well as propagating errors with an operator. I also wanted to have short "type inferred" anonymous functions to be able to use functions like Map/Reduce/Filter, without having to use 100 characters to specify the types.
2025 · github.com · its alternatives →
- 23
My implementation of Thorsten Bell's book (Writing an Interpreter in Go) - actuallyachraf/monkey-giggle
2020 · github.com · its alternatives →
- 24IM
2021 · tool.graphics · its alternatives →
Also compare
- A dependently-typed programming language with static memory management alternatives
- v0.dev by Vercel alternatives
- fx (by Vercel) alternatives
- Fuse – statically typed functional programming language alternatives
- The ZynAddSubFX open source musical synthesizer alternatives
- JavaScript Program Synthesis alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →