Forem

Computer Science 🤓

This tag is for sharing and asking questions about anything related to computer science, including data structures, algorithms, research, and white papers! 🤓

Posts

👋 Sign in for the ability to sort posts by relevant, latest, or top.
🐈Cat — A Typed Concatenative Language Inspired by Joy
Cover image for 🐈Cat — A Typed Concatenative Language Inspired by Joy

🐈Cat — A Typed Concatenative Language Inspired by Joy

Comments
1 min read
⚪ OneLang — A Programming Language Built From Only One Symbol
Cover image for ⚪ OneLang — A Programming Language Built From Only One Symbol

⚪ OneLang — A Programming Language Built From Only One Symbol

Comments
2 min read
🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators
Cover image for 🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators

🕊 LambdaBird — A Tiny Lambda Calculus Style Language That Uses Bird Combinators

Comments
2 min read
🎺 Trumpet — The Language Where Programming Looks Like Sheet Music
Cover image for 🎺 Trumpet — The Language Where Programming Looks Like Sheet Music

🎺 Trumpet — The Language Where Programming Looks Like Sheet Music

1
Comments
2 min read
📐 MiniZinc — A High-Level Language Designed for Constraint Solving
Cover image for 📐 MiniZinc — A High-Level Language Designed for Constraint Solving

📐 MiniZinc — A High-Level Language Designed for Constraint Solving

Comments
2 min read
📘 Lean — A Language for Formal Proofs and Verified Mathematics
Cover image for 📘 Lean — A Language for Formal Proofs and Verified Mathematics

📘 Lean — A Language for Formal Proofs and Verified Mathematics

Comments
2 min read
🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar
Cover image for 🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

🧪 TinyASM++ — A Minimal Assembly-Style Language with Extra Syntax Sugar

Comments
2 min read
🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground
Cover image for 🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground

🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground

Comments
2 min read
🧨 Dis — The Stack Language Built Out of Debugger Commands and Chaos
Cover image for 🧨 Dis — The Stack Language Built Out of Debugger Commands and Chaos

🧨 Dis — The Stack Language Built Out of Debugger Commands and Chaos

Comments
2 min read
🧠 BlooP — The Programming Language That Can’t Loop Forever
Cover image for 🧠 BlooP — The Programming Language That Can’t Loop Forever

🧠 BlooP — The Programming Language That Can’t Loop Forever

Comments
2 min read
🎨 Piet — The Language Where Programs Look Like Modern Art
Cover image for 🎨 Piet — The Language Where Programs Look Like Modern Art

🎨 Piet — The Language Where Programs Look Like Modern Art

Comments
2 min read
🧿 Hexagony — Programming Inside a Hexagon for No Logical Reason

🧿 Hexagony — Programming Inside a Hexagon for No Logical Reason

Comments
2 min read
🧬 Binary Lambda Calculus — The Language That Compresses Computation Into Pure Bits
Cover image for 🧬 Binary Lambda Calculus — The Language That Compresses Computation Into Pure Bits

🧬 Binary Lambda Calculus — The Language That Compresses Computation Into Pure Bits

Comments
2 min read
🧱 PushForth — A Hybrid of Push and Forth for Evolutionary Programming
Cover image for 🧱 PushForth — A Hybrid of Push and Forth for Evolutionary Programming

🧱 PushForth — A Hybrid of Push and Forth for Evolutionary Programming

Comments
2 min read
⬢ Hexagony — The Language That Runs on a Hexagonal Grid Instead of Lines
Cover image for ⬢ Hexagony — The Language That Runs on a Hexagonal Grid Instead of Lines

⬢ Hexagony — The Language That Runs on a Hexagonal Grid Instead of Lines

Comments
2 min read
👋 Sign in for the ability to sort posts by relevant, latest, or top.