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.
🧠 Idris — A Language Where Types Can Express Precise Program Guarantees

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

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
📌 Agda — The Language Where Programs and Proofs Become the Same Thing

📌 Agda — The Language Where Programs and Proofs Become the Same Thing

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
📌 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
📌 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
Sorting Algorithms Part 3: Linear-Time Sorting, Counting, Radix, and Bucket

Sorting Algorithms Part 3: Linear-Time Sorting, Counting, Radix, and Bucket

1
Comments
5 min read
🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground

🦀📏 RustSpanLang — The Experimental Borrow-Checker Syntax Playground

Comments
2 min read
How Programming Languages Are Converted into Machine Code

How Programming Languages Are Converted into Machine Code

21
Comments
3 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
Memory Layouts Explained in Bare Metal Systems

Memory Layouts Explained in Bare Metal Systems

Comments
5 min read
🧨 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

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

Comments
2 min read
🎨 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
⬢ 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
🧬 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
🌀 SNUSP — The Language That Treats Code Like a Maze with Mirrors

🌀 SNUSP — The Language That Treats Code Like a Maze with Mirrors

Comments
2 min read
🧩 Befunge-98 — The Chaotic 3D Upgrade to Befunge

🧩 Befunge-98 — The Chaotic 3D Upgrade to Befunge

Comments
2 min read
🐢 Turtle — The Language Where Code Is Just Moving a Cursor Around

🐢 Turtle — The Language Where Code Is Just Moving a Cursor Around

Comments
2 min read
🍬 Jelly — The Language Built for Code Golf and Extreme Compression

🍬 Jelly — The Language Built for Code Golf and Extreme Compression

Comments
2 min read
🧱 Befunge-93 — The Language Where Code Runs on a Grid Instead of a Line

🧱 Befunge-93 — The Language Where Code Runs on a Grid Instead of a Line

Comments
2 min read
🧠🪙 Brain-Flak — The Stack-Based Language That Feels Like Math Puzzle Notation

🧠🪙 Brain-Flak — The Stack-Based Language That Feels Like Math Puzzle Notation

Comments
2 min read
⚙️ False — The Tiny Stack Language That Inspired Code Golf Culture

⚙️ False — The Tiny Stack Language That Inspired Code Golf Culture

Comments
2 min read
loading...