Life & fun · alternatives · 2026
24 alternatives to Coalton Playground – Type-Safe Lisp in the Browser
I built a browser-based REPL for Coalton, a statically typed Lisp dialect that merges Haskell’s type system with Common Lisp. Coalton gives you: - Algebraic data types, pattern matching, static guarantees - Full interoperability with dynamic Lisp functions Demo & examples: https://coalton.app Under the hood: Prebuilt SBCL cores with Coalton preloaded, running on a droplet
Coalton Playground is a browser-based REPL for Coalton, a statically typed Lisp dialect combining Haskell's type system with Common Lisp's dynamic features. It lets developers write code with algebraic data types… 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 lisp rosetta stone to demonstrate modern language features - eatonphil/lisp-rosetta-stone
2021 · github.com · its alternatives →
- 2FS
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 →
- 3
Hi, I made a bridge (https://github.com/fzyzcjy/flutter_rust_bridge v2.0.0) between Flutter and Rust, which auto translates syntaxes like arbitrary types, &mut, async, traits, results, closure (callback), lifetimes, etc. The goal is to make a bridge between the two, seamlessly as if working in one single language. Then, as an example, I showed how to write Rust applications with GUI by utilizing Flutter. That is discussed in the link in details. To play with it, please visit the GitHub repo, or refer to the end of the article for detailed folders and commands. When I…
2024 · cjycode.com · its alternatives →
- 4
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 5CD
2012 · scattered-thoughts.net · its alternatives →
- 6
I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
2025 · github.com · its alternatives →
- 7
Hey everyone! I've been working on hsrs, a type-safe Haskell Bindings Generator for Rust. I couldn't really find any bindings generator that would create type-safe, rich bindings for Haskell from Rust. Naturally, both languages have rich type systems, so I was amazed that no awesome bindings generator already existed, hence I decided to write my own. hsrs feels very similar to pyo3 and napi-rs, and if you've used those, hsrs will feel right at home. What's unique about hsrs as opposed to hs-bindgen is that it has type-safe bindings for rich types, like Result, Maybe, etc. while also…
May 2026 · github.com · its alternatives →
- 8
GraphQL APIs in TypeScript with complete e2e type safety
2021 · uniform-graphql.whatsgood.dog · its alternatives →
- 9
IHP is the Haskell web framework for agentic engineering. Your agent writes the code; typed SQL, generated schema types and compile-checked views prove it works.
2020 · ihp.digitallyinduced.com · its alternatives →
- 10
Rust but Lisp▲218Rust but LISP. Contribute to ThatXliner/rust-but-lisp development by creating an account on GitHub.
May 2026 · github.com · its alternatives →
- 11
An implementation of a dynamic programming language in Rust. Includes: Parser/Compiler, REPL, Virtual Machine, Bytecode Disassembler This started out as a learning project to teach myself Rust. It has grown into a decently substantial piece of software and I've learned quite a bit in the process! Some neat things: + A garbage collector that can store dynamically sized types without any double-indirection (i.e. I have my own Box implementation with manual alloc/dealloc) + The smart pointer used to reference GCed data is a thin pointer. The ptr metadata needed for DSTs is stored in…
2022 · github.com · its alternatives →
- 12
Create and share simple web demos using TypeScript, CSS, and HTML. Prototype new ideas quickly.
2017 · codewich.com · its alternatives →
- 13
⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 14
The notebook-style Common Lisp environment. Contribute to tamamu/darkmatter development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 15
a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight
2015 · github.com · its alternatives →
- 16
I created this because sometimes I want more than rlwrap but less than emacs. icl aims to hit that middle sweet spot. It's a terminal application with context-aware auto-complete, an interactive object inspector, auto-indentation, syntax colouring, persistent history, and much more. It uses sly to communicate with the child lisp process and aims to be compatible with any sly-supporting implementation. I hope others find it useful!
Dec 2025 · github.com · its alternatives →
- 17
A lisp dialect based on pattern matching and term rewriting - abuseofnotation/termlisp
2024 · github.com · its alternatives →
- 18
A simple utility for running exhaustiveness checks on Go "sum types." - BurntSushi/go-sumtype
2017 · github.com · its alternatives →
- 19
I created this ORM to fill a gap in the Python ecosystem. Due to the nature of typing in Python there are no other Python ORMs that can provide correct type hints. Prisma Python manages to work around this by auto-generating python types. Aside from static type checking, providing type hints means that you will get autocomplete suggestions for you which for me is the killer feature for this ORM (see the GIF in the README for an example). It's also built on top of Prisma, a next-generation ORM for TypeScript which means that the core query building and connection handling has been battle…
2022 · github.com · its alternatives →
- 20
GitHub Gist: instantly share code, notes, and snippets.
2011 · gist.github.com · its alternatives →
- 21
Hi community, we just released https://github.com/tonbo-io/typed-arrow. When working with arrow-rs, we noticed that schemas are declared at runtime. This often leads to runtime errors and makes development less safe. typed-arrow takes a different approach: - Schemas are declared at compile time with Rust’s type system. - This eliminates runtime schema errors. - And introduces no runtime overhead — everything is checked and generated by the compiler. If you’ve run into Arrow runtime schema issues, and your schema is stable (not defined or switched at runtime), this project…
2025 · github.com · its alternatives →
- 22
:ramen: A tasty Haskell web and mobile framework. Contribute to dmjio/miso development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 23
Hi HN! I've built [CXXStateTree](https://github.com/ZigRazor/CXXStateTree), a modern C++ header-only library to create hierarchical state machines with clean, intuitive APIs. It supports: - Deeply nested states - Entry/exit handlers - State transitions with guards and actions - Asynchronous transitions with `co_await` (C++20 coroutines) - Optional runtime type identification for flexibility It's ideal for complex control logic, embedded systems, games, robotics, and anywhere you'd use a finite state machine. I’d love feedback, use cases, or contributions from the…
2025 · github.com · its alternatives →
- 24
We've been building Crust (https://crustjs.com/), a TypeScript-first, Bun-native CLI framework with zero dependencies. It's been powering our core product internally for a while, and we're now open-sourcing it. The problem we kept running into: existing CLI frameworks in the JS ecosystem are either minimal arg parsers where you wire everything yourself, or heavyweight frameworks with large dependency trees and Node-era assumptions. We wanted something in between. What Crust does differently: - Full type inference from definitions — args and flags are inferred automatically. No…
Mar 2026 · github.com · its alternatives →
Also compare
- Lisp implementation in modern Java, Go, C#, TypeScript, Python alternatives
- Fuse – statically typed functional programming language alternatives
- Rust GUI Library via Flutter alternatives
- A SQL database implemented purely in TypeScript type annotations alternatives
- Clojure DSL for pattern-matching, parsing and generic programming alternatives
- Bolt – A super-fast, statically-typed scripting language written in C 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 →