Hindley–Milner type inferencing in C

What it does

Hindley–Milner Type inferencing in C. Contribute to nmhancock/type-inferencing development by creating an account on GitHub.

• 
  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

• 
  Hindley-Milner Type Inference Algorithm in OCaml2016 · github.com · ▲136

  The Hindley Milner Type Inference Algorithm. Contribute to prakhar1989/type-inference development by creating an account on GitHub.

• 
  Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261

  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…

• 
  Prisma Python – A fully typed ORM for Python2022 · github.com · ▲130

  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…

• 
  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

• GI
  Going into freshman year, figured I should build an interpreter2023 · ▲138

  Hi all! I'm going into my freshman year, and figured that the best way to prepare for the intro to programming Racket course would be to implement my own garbage-collected, dynamically typed, functional programming language in C ;) Anyways... here's the repo: https://github.com/liam-ilan/crumb I started learning C over the summer, so I still have a whole lot to learn... Any feedback would be greatly appreciated! :D

• 
  /dev/null▲489

  a social network for devs

  Dev tools · 3d 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 · 28d 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 · 26d ago · github.com

• 
  OpenBot▲362

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

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  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 · 21d ago · talanoa.email

• 
  CoreSpeed▲332

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

  Dev tools · 29d ago · corespeed.io

• AF
  A friend and I spent 6 years making a simulation game, finally released▲1,157

  I've seen some interests in (simulation) video games here on HN so I thought I'd share a short version of our story. More than 6 years ago, me and my friend from university were playing around with an idea of making a game we always wanted to play. We worked on it on weekends but the progress was quite slow, especially due to so many dead ends and wasted effort. Eventually however, we solidified our direction and decided to take the risk to resign from our well paid SWE jobs and work on it full time. It took more than a year but yesterday we have finally released it on Steam:…

  Life & fun · 2022

• 
  A central bank simulator game with a realistic economic model▲815

  Life & fun · 2022 · benoitessiambre.com

• 
  I stripped DALL·E Mini to its bare essentials and converted it to Torch▲663

  min(DALL·E) is a fast, minimal port of DALL·E Mini to PyTorch - kuprel/min-dalle

  Life & fun · 2022 · github.com

• 
  Untitled UI Icons▲634

  1,100+ free Figma icons for modern UI design.

  Dev tools · 2022 · untitledui.com

• 
  MakerBox▲621

  600 tools with generous free plans for indie entrepreneurs

  Dev tools · 2022 · makerbox.club

• 
  Typedream CMS▲593

  Display your Notion data beautifully on your site, no-code

  Dev tools · 2022 · typedream.com