mohe2015/
An eco-friendly lisp
USD raised
Recent activities
Make all my projects AGPL3
Code search
Content-Addressed code?
Test driven development?
Provable down to the physics
Provably execute in specified time + memory + network + space
Bruteforce / (D)DOS-Protection
AVR specifics
Support for protecting secret data
Caching algorithm
Documentation
Privacy
Programming paradigm
General goals
Dependent type system?
Everything should be machine-readable
Code rewriting
Prevent death-locks
Cooperative multitasking?
Look at existing vulnerabilites and try to prevent them
Graphical version?
Regression-testing (using DSL)
Design by contract
Functional programming language
Region-based memory-management?
Offline-first
Peer-to-peer
Long identifier names (e.g. counter instead of cnt)
Self-proving
Security: built-in user-system
No semver
One testing framework
Targets
GUI framework
Scriptable
Package manager
Languages to steal from
Good IDE, debugger, profiler, optimizer
Distributed objects / calls
Object database
Hot-swapping
Atomic operations? / Locking?
Undoing / redoing instead of many confirmations
Implement pseudo instruction set
Β© 2019 BoostIO, Inc.