Bolt – A super-fast, statically-typed scripting language written in C

In plain words

Bolt is a statically-typed scripting language written in C designed for embedding in applications. It combines static typing directly into the language rather than as an add-on, aiming to provide both safety and performance benefits similar to features seen in Python type hints and TypeScript. The first public release, version 0.1.0, includes examples and a programming guide in its repository for developers interested in using it.

written from the facts on this page · September 2026

From the sources

High-performance, real-time optimized, and statically typed embedded language implemented in C. - Beariish/bolt

A lightweight , lightning-fast , type-safe embeddable language for real-time applications. import print , error , Error from core import abs , epsilon from math // The return type of safe_divide is inferred to be `Error | number` fn safe_divide ( a : number , b : number ) { if abs ( b ) < epsilon { return error ( "Cannot divide by zero!" ) } return a / b } match let result = safe_divide ( 10 , 5 ) { is Error { // The type of result is narrowed in this branch! print ( "Failed to divide:" , result . what ) } is number { print ( "The answer is" , result ) } } Features Lightning-fast performance , outperforming other languages in its class Compact implementation, leaving a minimal impact on…from github.com

In the maker’s words, at launch

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…

• 
  bolt.new2024 · bolt.new · ▲1,230

  Build and scale high-performing websites & apps using your words. Join millions and start building today.

• 
  Bolt: A research language with finer-grained concurrency than Rust2020 · github.com · ▲103

  Bolt is a language with in-built data-race freedom! - mukul-rathi/bolt

• 
  ScrapScript – A tiny functional language for sharable software2023 · scrapscript.org · ▲503

  Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas&#x2F;implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)

• 
  A Python with Hindley-Milner-like type annotations, compiling to C2015 · github.com · ▲134

  a python-like language with hindley-milner-like type system, which is compiled to c - alehander92/Airtight

• 
  Prometeo – a Python-to-C transpiler for high-performance computing2021 · github.com · ▲166

  An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing - zanellia/prometeo

• 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…

• 
  /dev/null▲468

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• 
  Trace▲1,555

  Workflow Automations for the Human 👾 AI Workforce

  AI · 2025 · trace.so

• 
  I spent 6 years building a ridiculous wooden pixel display▲1,145

  I built the world's most impractical 1000-pixel display and anyone in the world can draw on it. It draws a single pixel at a time and takes 30-60 minutes to complete a single image. Anyone can participate in the project by voting for the next image to be drawn, and submitting images. https:&#x2F;&#x2F;kilopx.com&#x2F;

  Work · 2025 · benholmen.com

• 
  Indy AI by Contra▲1,070

  Job boards are dead. Your network is alive

  AI · 2025 · contra.com

• 
  Kitten TTS – 25MB CPU-Only, Open-Source TTS Model▲1,003

  Kitten TTS is an open-source series of tiny and expressive text-to-speech models for on-device applications. We are excited to launch a preview of our smallest model, which is less than 25 MB. This model has 15M parameters. This release supports English text-to-speech applications in eight voices: four male and four female. The model is quantized to int8 + fp16, and it uses onnx for runtime. The model is designed to run literally anywhere eg. raspberry pi, low-end smartphones, wearables, browsers etc. No GPU required! We're releasing this to give early users a sense of the latency and voices…

  AI · 2025 · github.com

• 
  I was curious about spherical helix, ended up making this visualization▲865

  I was wondering how I can arrange objects along a spherical helix path, and read some articles on it. I ended up learning about parametric equations again, and make this visualization to document what I learned: https:&#x2F;&#x2F;visualrambling.space&#x2F;moving-objects-in-3d&#x2F; feel free to visit and let me know what you think!

  Life & fun · 2025 · visualrambling.space

• 
  The current sky at your approximate location, as a CSS gradient▲788

  For HTML Day 2025 [1], I made a web service that displays the current sky at your approximate location as a CSS gradient. Colours are simulated on-demand using atmospheric absorption and scattering coefficients. Updates every minute, without the use of client-side JavaScript. Source code and additional information is available on GitHub: https:&#x2F;&#x2F;github.com&#x2F;dnlzro&#x2F;horizon [1] https:&#x2F;&#x2F;html.energy&#x2F;html-day&#x2F;2025&#x2F;index.html

  Dev tools · 2025 · sky.dlazaro.ca