Pʀᴀɴᴀᴠ - DEV Community

Pʀᴀɴᴀᴠ

Nov 29

🧠 Ceptre — The Rule-Based Language for Modeling Systems, Stories, and Simulation Logic

#gamedev #programming #ai #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

📐 HOL Light — The Minimal Proof Language for Formal Mathematics and Verified Software

#algorithms #computerscience #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🎮 AngelScript Variant — A Lightweight Scripting Language Inspired by C++ for Embedded Engines

#cpp #gamedev #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧱 Jinja2 Template Language — The Engine Behind Dynamic HTML, Emails, and Configs

#python #webdev #programming #automation

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧩 Svelte Mini DSL — The Hidden Micro-Language Inside Svelte's Markup System

#frontend #javascript #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🛍 Liquid — The Templating Language Powering Shopify Themes and Static Content

#frontend #webdev #programming #beginners

1

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🔧 Blockly Schema Language — The Metadata Language Behind Visual Block Programming

#architecture #programming #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🎮 GDScript (Legacy Mode) — The Old Scripting Language Behind Early Godot Engines

#beginners #gamedev #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧬 Flix — A Modern Functional Language Built on Logic, Effects, and the JVM

#computerscience #java #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#showdev #computerscience #programming #rust

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🐈 Cat — A Concatenative Language Focused on Simplicity and Type Safety

2 min read

Pʀᴀɴᴀᴠ

Nov 29

⚪ OneLang — A Programming Language Built From Only One Symbol

#computerscience #design #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#showdev #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧬 SKI Combinator Calculus — Programming Without Variables, Assignments, or Functions

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧩 P′′ — The Tiny Language That Inspired Brainfuck and Minimalist Computing

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧪 Eff — The Language Built to Explore Algebraic Effects and Structured Concurrency

#computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🔐 Cryptol — The Language Designed Specifically for Cryptography and Security Proofs

#algorithms #cybersecurity #security #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🛡 ATS — The Language That Combines Types, Memory Safety, and C-Level Performance

2 min read

Pʀᴀɴᴀᴠ

Nov 29

⚡ Futhark — The Functional Language Built for High-Performance Parallel Computing

#computerscience #performance #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧠 Agda — The Programming Language Where Types Become Mathematical Proofs

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#algorithms #computerscience #ai #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

📘 Lean — A Language for Formal Proofs and Verified Mathematics

#computerscience #programming #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

⚙️ PLC StructuredText Lite — A Simplified Industrial Automation Language

#automation #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🛰 Remote BoardLang — A Minimal Control Language for Networked or Distributed Boards

#distributedsystems #networking #iot #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧰 PocketASM — A Minimal Assembly-Like Language for Tiny Handheld and Emulator CPUs

#showdev #learning #programming #beginners

2 min read

Pʀᴀɴᴀᴠ

Nov 29

📟 HP-RPL — The Stack-Based Language Hidden Inside Classic HP Calculators

#architecture #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧩 BasicStamp PBASIC — The Beginner-Friendly Language for Early Microcontrollers

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🧮 TI-Calc Script — The Tiny Calculator Language Hidden in TI Graphing Calculators

#beginners #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🤖 RobotC — A C-Style Language Built for Educational Robotics and Embedded Motion Control

#robotics #c #learning #beginners

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🤖 Arduino Forth — A Minimal Forth Variant Adapted for Microcontrollers

#iot #programming #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🐍 MicroPython (Limited Dialect) — Python Shrunk Down for Tiny Embedded Devices

#iot #programming #python

2 min read

Pʀᴀɴᴀᴠ

Nov 29

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

#showdev #learning #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 29

🔧 PICBasic Lite — A Simplified Microcontroller Language for Early Embedded Programming

#beginners #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🧾 Coq — A Language for Formal Proofs, Verified Logic, and Certified Software

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#computerscience #programming #softwaredevelopment

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#algorithms #computerscience #programming

1 min read

Pʀᴀɴᴀᴠ

Nov 28

🔢 NumStack — A Numeric-Only Stack Language for Pure Arithmetic Computation

#showdev #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#showdev #computerscience #programming #challenge

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#ai #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🧩 ConcatenativeScript — JavaScript Reimagined as a Stack-Based Language

#showdev #programming #javascript #computerscience

1

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🐱 Kitten — A Typed Concatenative Language Designed for Safety and Modularity

#computerscience #design #programming

1

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🐈Cat — A Typed Concatenative Language Inspired by Joy

#computerscience #learning #programming

1 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 Joy — The Language That Runs on Pure Function Composition Instead of Variables

#computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#computerscience #programming #softwaredevelopment

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 Elixir (Script Mode) — The Lightweight Experimental Variant for Running Elixir Like a Scripting Language

#automation #programming #tooling

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#c #computerscience #programming

1

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 ReasonML (Old Build) — The Legacy Version Before Rescript Took Over

#javascript #programming #typescript

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 Glypho — A Language Built from Abstract Symbols Instead of Text

#computerscience #design #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

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

#computerscience #learning #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 StackCats — A Stack-Based Language Where Instructions Are Expressed as Cat Behaviors

#discuss #programming #watercooler

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 StackCells — A Language Where Each Cell Is Its Own Stack

#showdev #programming #architecture #computerscience

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 TuringTiles — A Language Built from Tile-Based State Transitions

#algorithms #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📌 ClockLang — The Language Where Time Controls Execution

#discuss #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

📼 TapeMachineLang — A Language Modeled After Analog Tape Recording and Signal Flow

#showdev #design #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🎮 ChipTuneLang — A Language Built Around Retro 8-Bit Sound Logic and Sequencing

#showdev #gamedev #programming #computerscience

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🔊 SoundWaveLang — A Language Where Code Is Written and Executed as Audio Patterns

#discuss #programming #design #computerscience

3

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🥁 Beatnik — The Language Where Meaning Comes from Scrabble Scores

#discuss #computerscience #programming

2 min read

Pʀᴀɴᴀᴠ

Nov 28

🐴 Pony — The Actor-Model Language Built for High-Safety Concurrency

#architecture #performance #programming

2 min read

Writing Debut

Three Year Club

Two Year Club

One Year Club