DEV Community

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.
📌 ClockLang — The Language Where Time Controls Execution

📌 ClockLang — The Language Where Time Controls Execution

Comments
2 min read
🧠 Idris — A Language Where Types Can Express Precise Program Guarantees

🧠 Idris — A Language Where Types Can Express Precise Program Guarantees

Comments
2 min read
🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language

🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language

1
Comments
2 min read
⚡ DashStack — A Minimal Fast Stack Language Using Dash Symbols for Commands

⚡ DashStack — A Minimal Fast Stack Language Using Dash Symbols for Commands

Comments
2 min read
📌 Factor — The Stack-Based Language Built Around Words, Quotations, and Combinators

📌 Factor — The Stack-Based Language Built Around Words, Quotations, and Combinators

Comments
2 min read
📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

📌 MicroTape — A Tiny Tape-Based Language Inspired by Minimal Turing Models

Comments
2 min read
📌 Zig (Alpha Spec) — The Early Experimental Phase Before Zig Stabilized

📌 Zig (Alpha Spec) — The Early Experimental Phase Before Zig Stabilized

1
Comments
2 min read
📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte

📦 ByteLang — A Language Where Every Instruction Is Just a Single Byte

Comments
2 min read
🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

Comments
2 min read
Consistent Hashing: The Unseen Engine

Consistent Hashing: The Unseen Engine

1
Comments
5 min read
🧬 PegLang — A Language Built on Parsing Expression Grammars as Executable Logic

🧬 PegLang — A Language Built on Parsing Expression Grammars as Executable Logic

Comments
1 min read
🐈Cat — A Typed Concatenative Language Inspired by Joy

🐈Cat — A Typed Concatenative Language Inspired by Joy

Comments
1 min read
🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

🐾 Kitten — A Typed Concatenative Language Inspired by Joy and Rust

Comments
2 min read
⚪ 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

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

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