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.
โšก 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
๐Ÿ“Œ 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
Multimedia Systems Syllabus for MAKAUT CSE 7th Semester Exam

Multimedia Systems Syllabus for MAKAUT CSE 7th Semester Exam

Comments
1 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
๐Ÿ“ฆ 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
๐Ÿพ Kitten โ€” A Typed Concatenative Language Inspired by Joy and Rust

๐Ÿพ Kitten โ€” A Typed Concatenative Language Inspired by Joy and Rust

Comments
2 min read
๐Ÿˆ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

โšช 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
๐Ÿ“ 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

๐Ÿ“˜ Lean โ€” A Language for Formal Proofs and Verified Mathematics

Comments
2 min read
๐Ÿ‘‹ Sign in for the ability to sort posts by relevant, latest, or top.