A token-minimal, interpreted programming language optimized exclusively for LLM-generated code and not for humans, sorry humans! This language prioritizes AI token efficiency and compression, disregarding human readability.
- Single-byte or minimal-byte encoding for key constructs
- Mathematical or symbolic representations for logic and structure
- Built-in compression mechanisms for common code patterns
- String dictionary system for reusing text across projects
- Native async support for efficient concurrency and I/O operations
- Comprehensive networking library for TCP/IP, HTTP, and WebSocket communication
- UI library for creating simple user interfaces
- File I/O for reading and writing files
- Security primitives for hashing and encryption
- Error handling with try-catch mechanism
- Type system with type inference and validation
- Collection operations for data manipulation
- Variable scoping with proper closure support
λ- Library definitionƒ- Function definitionι- Integer typeσ- String typeξ- Generic type (connection/list/value)⟼- Return⌽- Print∞- Infinite loop⊤- Boolean true⊥- Boolean false∇- Core library⚠- Error library⟑- Type library:- String dictionary reference prefix (e.g.,:key)
α,β,γ- Generic variablesδ,ε,ζ- Environment variablesη,θ,κ- Constantsν,ξ,ο- Objectsπ- Mathematical constantρ,τ,υ- Type variablesφ,χ,ψ- Function variablesω- Loop variables
∅- Empty collection+- Add to collection∑- Sum∀- ForEach⊳- Left operation⊢- Push⊣- Pop
÷- Try-catch⚠- Error handling
📂ord- List directory (📂("path")→[files...])📖orr- Read file (📖("file")→"contents")✍orw- Write file (✍("file", "contents"))✂orx- Remove file/dir (✂("path"))⧉orc- Copy file (⧉("src", "dst"))↷orm- Move file (↷("src", "dst"))?ore- File exists (?("path")→bool)↯- Read file (legacy)↱- Write file (legacy)⌸- File operations library
!- Execute shell (!("ls -la")→{o:stdout, e:stderr, c:code})🖥ors- Current OS (🖥()→"linux")🌐orv- Env var get (🌐("VAR_NAME")→"value")
#- Hash string (#("abc", "sha256")→"...")#forh- Hash file (h("file", "sha1")→"...")🔒- Encrypt🔑- Decrypt⚿- Security library🔓_fs- Allow file I/O📁_allow- Limit I/O to specific directories🔓_sh- Enable/disable shell commands🔓_net- Enable/disable network operations
📝- Set string in dictionary (📝("key", "value"))📖- Get string from dictionary (📖("key")→"value")🔠- Load string dictionary from file (🔠("path"))💾- Save string dictionary to file (💾("dict_name", "path"))🔄- Switch active dictionary (🔄("dict_name"))
⏰- Set timeoutε- Get environment variable
🔢- String to integer🔤- Integer to string
⇪- Import module
↗org- HTTP GET (↗("https://site")→{s:status, b:body})↓orp- HTTP POST (↓("url", "body")→{s:status, b:body})⎋orj- JSON parse (⎋("{...}")→{key: val})~- WebSocket open (~("ws://...")→socket handle)
⊲(port, handler)- Listen on port⇉(connection, address, port)- Forward connection⇓(url)- HTTP GET (legacy)⇑(url, data)- HTTP POST (legacy)⥮(url, handler)- WebSocket
⟿(size)- Create channel with buffer size⇢(channel, value)- Send value to channel⇠(channel)- Receive value from channel⟰(name)- Create shared state⇡(state, key, value)- Set shared state value⇣(state, key)- Get shared state value
🌐orb- Open page (🌐("https://site")→browser)🖱ork- Click selector (🖱(browser, "#btn"))⌨ori- Input text (⌨(browser, "#inp", "hello"))👁ort- Get text (👁(browser, "#el")→"text")🧠ore- Eval JS (🧠(browser, "return window.title;"))❌orz- Close browser (❌(browser))
□(title, width, height)- Create window⬚(title, handler)- Create button✎(content)- Create text⌨(placeholder, handler)- Create input
⌽(message)- Print⟼(value)- Return∑(list)- Sum∀(list, handler)- ForEach
↯(path)- Read file↱(path, data)- Write file
#(data)- Hash🔒(data, key)- Encrypt🔑(data, key)- Decrypt
÷(try, catch)- Try-catch
🔢(string)- String to integer🔤(integer)- Integer to string
📝orm- Set memory (📝("key", "val"))📖orn- Get memory (📖("key")→"val")🗑orf- Forget key (🗑("key"))
λc{
ƒ⌽(σ,m){
⌽(m)
}
ƒt1(){
ιx=10;
ιy=2;
⌽("t1");
⟼(x+y)
}
}
ƒtest_error(){
÷{
ιx=42;
ιy=0;
⟼(x/y)
}{
⟼("Error caught!")
}
}
ƒtest_channel(){
ιchan=⟿(5);
⇢(chan,42);
ιval=⇠(chan);
⟼(val=42)
}
ƒtest_shared_state(){
ιstate=⟰("test_state");
⇡(state,"key",42);
ιval=⇣(state,"key");
⟼(val=42)
}
ƒtest_collection(){
ιcoll=∅;
+(coll,1);
+(coll,2);
+(coll,3);
⟼(∑(coll))
}
// Define strings in dictionary
📝("greeting", "Hello, {}!");
📝("farewell", "Goodbye, {}!");
// Use string references with formatting
ƒgreet(σname){
// Use :key syntax to reference strings from dictionary
⌽(:greeting, name);
}
ƒsayGoodbye(σname){
⌽(:farewell, name);
}
ƒmain(){
greet("World");
sayGoodbye("World");
}
- Single-byte token encoding
- Mathematical and symbolic representations
- Built-in compression mechanisms
- String dictionary system for text reuse
- Native async support
- Comprehensive error handling with stack traces
- Type system with inference
- Collection operations
- Variable scoping with closure support
- REPL mode for interactive development
- TCP server/client with async support
- HTTP client with GET/POST
- WebSocket support with auto-reconnection
- Binary and text message types
- Rate limiting and timeout handling
- Connection pooling
- HTTPS support
- WebSocket ping/pong
- Channel-based communication
- Shared state management
- Async/await patterns
- Thread-safe operations
- Rate limiting
- Connection pooling
- Comprehensive test suite
- Network testing utilities
- Concurrency tests
- Error handling tests
- Type system tests
- Coverage reporting
- Window management
- Button components
- Text display
- Input fields
- Basic layouts
- Styling support
- Basic README
- Test Documentation
- Language Specification
- Example Projects
- Tutorial Series
- API Reference
- Contributing Guide
- Style Guide
- Warning suppression for clean builds
- Enhanced interpreter with support for more node types
- Improved string dictionary functionality
- Better error handling and debugging output
- Fixed emoji character recognition in lexer
- Garbage collection
- Module system improvements
- Performance profiling
- Custom UI components
- Event system
- Developer tools
- Agent integration capabilities
- Static type checking with inference
- Support for Number, String, Boolean, Collection types
- Generic type support for collections
- Function type validation
- Comprehensive try-catch mechanism
- Network error handling
- Type error detection
- Runtime error management
- Async TCP server/client
- HTTP client with GET/POST
- WebSocket support with reconnection
- Binary and text message types
- Timeout handling
- Concurrent connection support
- Efficient symbol encoding
- Minimal token usage
- Optimized AST representation
- String dictionary for text reuse
- Centralized string storage to minimize token usage
- String references using
:keysyntax - String formatting with placeholder support
- Multiple dictionaries with switching capability
- File-based dictionary loading and saving
- Significant token reduction for text-heavy applications
# Run a program
cargo run program.a.i
# Run tests
cargo run tests/test.a.i
cargo run tests/network_tests.a.i
# Start REPL
cargo run repl
# Build Desktop Application
cd backend && cargo tauri buildThe desktop application can be built into:
- A .deb package for Debian-based Linux distributions
- An AppImage that runs on most Linux distributions
- A native binary
Built artifacts will be located in:
- DEB: target/release/bundle/deb/
- AppImage: target/release/bundle/appimage/
- Binary: target/release/
- Test Documentation - Comprehensive test coverage
- TODO List - Development roadmap
- Language Reference - Detailed language specification
- Stress Testing - Stress testing framework documentation
- Fuzzing Tests - Fuzzing framework documentation
MIT