🐪 OCaml - abnv · Scour

Build a Compiler in Five Projects

kmicinski.com·11h

🎭Racket Modules

A Quick Introduction to OxCaml

noelwelsh.com·3d·

Discuss: Hacker News

🐪OCaml GADTs

I Built a Programming Language Where think Is a Keyword

dev.to·3h·

Discuss: DEV

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·3h

📊Pratt Parsers

Let Lambda Come Over

yamlscript.org·16h

λLambda Calculus

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·5h

en.wikipedia.org·1d·

Discuss: Hacker News

🎭Polymorphic Variants

impl Rust: Avro IDL tool in Rust via ANTLR

youtube.com·23h·

Discuss: Hacker News

⚙️TOML Parsers

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🎯Symbolic Execution

Week 1: Why did I start learning Rust?

vitaliihonchar.com·7h·

Discuss: r/programming

🦀MIR Optimization

Building Interactive C/C++ workflows in Jupyter through Clang-REPL [video]

fosdem.org·6h·

Discuss: Hacker News

🎓Teaching Compilers

C Isn't A Programming Language Anymore

faultlore.com·1d·

Discuss: Hacker News

🌉Cross-Platform FFI

learning by reverse engineering

clymup.com·7h

🔓Decompilers

erlang.org·1d·

Discuss: Hacker News

🎭Polymorphic Variants

How Lisp Became God's Own Programming Language

twobithistory.org·3d

🖥️Lisp Machines

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

Declarative, Reproducible Emacs

irreal.org·5h

🌈Gradual Languages

TypeScript: JavaScript With Syntax For Types.

typescriptlang.org·1d

ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.

github.com·1d·

Discuss: r/AskProgramming

🪆Embedded DSLs

Loading more...