🧩 Haskell - estaugaard · Scour

Gram: A fork of Zed without the bloat 🌀Helix

codeberg.org·8h·Hacker News

Transformations, functors, categories λFunctional Programming

muratkasimov.art·1d·r/functionalprogramming

I've just added generics to my programming language! 🐫OCaml

reddit.com·6d·r/Compilers

Code-golfing riki's HTML templating engine in Julia λDependent Types

gist.github.com·2d·Lobsters

Highline: Ruby gem for a higher level command-line oriented interface 💻Terminal Emulators

github.com·13h·Hacker News

Functional Programming in Lean - Functional Programming in Lean λFunctional Programming

leanprover.github.io·3d·Hacker News

Blessed Syntax and Ergonomics 🪶suckless

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

Finite-Horizon First-Order Rank Profiles of Regular Languages 🔍Parsers

Untyped, on Purpose λFunctional Programming

intertwingly.net·2d·Hacker News

TypeScript Book 🐫OCaml

gibbok.github.io·4d

Functional Programmers need to take a look at Zig. λFunctional Programming

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

jessealama/thales: TypeScript compiler and JavaScript engine in Lean 🐫OCaml

github.com·18h·Hacker News

No, Even JavaScript Has Types λFunctional Programming

std::to_chars (3) Linux Manual Page 🐫OCaml

systutorials.com·17h

Beginner's guide to error handling in Rust 🛡️Memory Safety

xn--fs5a.xn--zsss51h.xn--rhqv96g·2d·DEV

Circuits Are Not Functions. That Confusion Will Break You λFunctional Programming

compact-book.vercel.app·2d·DEV

The Complicated Nature of Programming Languages 🐫OCaml

functiondispatch.substack.com·6d·r/programming

Yukari Hafner: On Lisp, LLMs, and Community λFunctional Programming

reader.tymoon.eu·1d

GTK2-NG: A community effort to revive and modernize GTK2 💻Terminal Emulators

git.devuan.org·2d·Hacker News

Simplifier 🪶suckless

simplifier.neocities.org·4d

Sign up or log in to see more results

Log in to enable infinite scrolling