λ Functional Programming - estaugaard · Scour

Finite Functional Programming 🐫OCaml

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

leanprover.github.io·3d·Hacker News

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

pure-systems.org·1d·Lobsters, Hacker News, Hacker News

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

youtube.com·12h

Tries for Polynomials 🐫OCaml

doisinkidney.com·2d·Lobsters

Haskell: Debugging 🧩Haskell

wiki.haskell.org·1h·Hacker News

applications of (higher) category theory in nLab 🔍Parsers

ncatlab.org·4d

Document type inference 🐫OCaml

github.com·21h

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 🐫OCaml

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

news.ycombinator.com·17h·Hacker News

Scaling and democratising structure-based protein function prediction with metagenomic-deepFRI 🌀Helix

biorxiv.org·1h

Breaking ten years of API compatibility 🐫OCaml

futhark-lang.org·1d·Lobsters

Java sealed classes and exhaustive pattern matching λDependent Types

neilmadden.blog·6d

Build a JSON Parser in Rust from Scratch 🦀Rust

blog.sheerluck.dev·13h

Six dimensional hextille boondoggle acl2 + mcclim common lisp 🐫OCaml

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

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

github.com·22h

Lambda Calculus Benchmark for AI 🐫OCaml

victortaelin.github.io·5d·Hacker News

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

reader.tymoon.eu·1d

I built a free TypeScript quiz website with 125 questions and levels 🧩Haskell

ts-quiz.com·9h·DEV

Log in to enable infinite scrolling