Skip to content

A mobile-first general programming language written primarily in Java 7. The runtime is built in c. It has a parser written in java (manual "recursive backtracking"), and a dual compilation language ( TAC IR + native code generation).

License

Notifications You must be signed in to change notification settings

DanexCodr/Coderive

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Coderive Logo

Repository Discussions Issues
GitHub Stars License

Mobile-First Programming Language

Table of Contents

  1. Introduction
  2. Technical Architecture
  3. Language Features
  4. Performance Validation
  5. Getting Started
  6. Current Status
  7. License
  8. Contact

1. Introduction

We present Coderive v0.4.0, a mobile-first general programming language designed for safe, fast, and clear coding. Coderive features a parser system written in java (manual recursive backtracking) and dual compilation pipeline (bytecode + native code generation). Built entirely on mobile devices, Coderive proves that serious compiler development can happen outside traditional environments.

2. Technical Architecture


Compiler Pipeline: Efficient Code Generation

  • Dual Compilation: Simultaneous bytecode and native code generation
  • Multi-Target Support: ARM64 and x86_64 code generation from single codebase
  • Mobile-First Design: Built and tested primarily on Android devices

Development Environment: Constraint-Driven Innovation

The language was developed under the constraint of mobile-only development:

  • Java NIDE: Fast Java 7 compiler for Android
  • Quickedit: High-performance mobile code editor
  • Termux: Comprehensive Linux environment
  • AI Assistants: DeepSeek and Gemini for accelerated debugging

3. Language Features

Core Innovations

Quantifier-First Logic Design Coderive replaces traditional boolean operators with expressive quantifiers:

Traditional Coderive
A && B && C all[A, B, C]
A || B || C any[A, B, C]
A && (B || C) all[A, any[B, C]]

Multi-Return Slot System

    local calculate(int a, int b)
    :: result: int, operation: text
    {
        ~> a + b, "addition"  # Slot assignments
    }

O(1) Lazy Array and Formula-Optimizing Loop

       for i in [0 to 1Qi] {
            if i % 2 == 0 {
                arr[i] = "even"
            } elif i % 2 == 1 {
                arr[i] = "odd"
            }
        }

Smart For-Loops

for i by *2 in 1 to 10 {  # Complex step patterns
    # Loop body
}

Language Example

unit sample.program

use {
    lang.Math
}

share InteractiveDemo {

    local calculate(a: int, b: int, op: text)
    :: formula: int, operation: text
    {
        if all[a >= 0, b >= 0] {
            if op == any["+", "-", "*"] {
                ~> a + b, "valid operation"
            }
        }
        ~> 0, "invalid"
    }
}

4. Compiler

The system has an on going TAC Compiler for efficient execution across both interpreter and native compilation targets.

5. Getting Started

System Requirements

· Java 7 or later

· Linux environment (Termux recommended for mobile)

Quick Start

# Run interpreter
java -jar coderive.jar program.cod

# Compile to native
java -jar coderive.jar --native program.cod

6. Current Status

Component Status Notes
Interpreter ✅ Complete Full language features
Native Code Generation ✅ Complete ARM64/x86_64 support
TAC Compiler 🔧 In Progress Enhanced implementation

7. License

This project is licensed under the MIT License.

8. Contact

Have questions or want to contribute?

Join our community discussions:

· GitHub Discussions - Ask questions and share ideas

· GitHub Issues - Report bugs and problems

· Developer's Email: danisonnunez001@gmail.com


Built with passion on mobile devices — proving innovation knows no hardware boundaries.

About

A mobile-first general programming language written primarily in Java 7. The runtime is built in c. It has a parser written in java (manual "recursive backtracking"), and a dual compilation language ( TAC IR + native code generation).

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published