λ Functional Programming - estaugaard · Scour

Finite Functional Programming 🐫OCaml

Functional Programming in Lean - Functional Programming in Lean λDependent Types

leanprover.github.io·2d·Hacker News

applications of (higher) category theory in nLab 🔍Parsers

ncatlab.org·4d

Leveraging Functional Programming for Scalable, Sustainable Web Apps- Wendy Randolph |Lambda Days 25 🐫OCaml

youtube.com·10h

Tries for Polynomials 🐫OCaml

doisinkidney.com·2d·Lobsters

Can AI simplify the alphabet of life? 📝PEG Parsers

science.org·5h

Document type inference 🐫OCaml

github.com·19h

Java sealed classes and exhaustive pattern matching λDependent Types

neilmadden.blog·6d

Why I Still Reach for Lisp and Scheme Instead of Haskell 🐫OCaml

jointhefreeworld.org·1d·Lobsters, Hacker News, r/functionalprogramming, r/programming

Functional Programmers need to take a look at Zig. 🪶suckless

pure-systems.org·23h·Lobsters, Hacker News, Hacker News

Constructing gene co-functional and co-regulatory networks from public transcriptomes using condition-specific ensemble co-expression 📝PEG Parsers

Breaking ten years of API compatibility 🐫OCaml

futhark-lang.org·1d·Lobsters

Lambda Calculus Benchmark for AI 🐫OCaml

victortaelin.github.io·5d·Hacker News

Why I still reach for Lisp and Scheme instead of Haskell 🧩Haskell

news.ycombinator.com·15h·Hacker News

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🐫OCaml

lispy-gopher-show.itch.io·2d

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·11h

翰墨字典 🧩Haskell

hanmozidian.fly.dev·55m

Clash: Clash Language Homepage 🐫OCaml

clash-lang.org·6d

Cinderella-Man/credence: Credence is a semantic linter for Elixir 🐫OCaml

github.com·20h

Yukari Hafner: On Lisp, LLMs, and Community 🐫OCaml

reader.tymoon.eu·1d

Log in to enable infinite scrolling