CORE
PikaPython
| CORE | PikaPython | |
|---|---|---|
| 3 | 12 | |
| 31 | 1,429 | |
| - | - | |
| 6.7 | 9.6 | |
| 3 months ago | 9 days ago | |
| C | C | |
| - | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
CORE
-
What books should I proceed with to get into machine-assisted theorem proving/formal verification of software?
Library of proofs Github repo
-
CORE - My Proof Assistant
Back in March I started my fourth attempt at making a proof assistant, and to my surprise I actually succeeded. A proof assistant is a programming language for mathematical logic and proofs. I wanted to make my own simple proof assistant for set theory, which is a logic in which the objects are "sets," i.e. collections of other objects. Since the language's creation, I've been able to prove some basic facts about the natural numbers and construct addition and multiplication from scratch (using the ZFC axioms). I also made a website where you can look at all of the results I've proven in CORE. In the website you can recurse through results by clicking on the bold words in the code for the proofs. I have a repository for the language here. For the people who are interested, I will describe the language in more detail below.
-
I created a proof assistant!
Anyways, if anybody wants to take a look, the project is here. I'm not sharing the project with the expectation that people will actually use it, but I am certainly still interested in making the language more powerful. So if you have criticisms please keep this in mind!
PikaPython
-
This Week In Python
PikaPython – ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies
- PikaPython: Cross platform ultra lightweight embedded Python engine
-
MicroPython VS PikaPython - a user suggested alternative
2 projects | 25 Dec 2023
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar project: MicroPython, JerryScript.
-
Learning Embedded rust
A very interesting solution for high level interface access by less professional developers could be seen in pikascript, which works even on very small devices. WAMR is another project with similar capabilities. Both of them can be very well combined with core infrastructure realized as embedded rust code.
-
This Week in Python
pikascript – An ultra-lightweight Python engine that can run with 4KB of RAM
- pikascript: An ultra-lightweight Python engine that can run with 4KB of RAM and 32KB of Flash (such as STM32G030C8 and STM32F103C8), and is very easy to deploy and expand.
- Pikascript: An ultra-lightweight Python engine that can run in 4Kb of RAM
What are some alternatives?
j-bob
MicroPython - MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
gravity - Gravity Programming Language
emlearn-micropython - Efficient Machine Learning engine for MicroPython
moddable - Tools for developers to create truly open IoT products using standard JavaScript on low cost microcontrollers.
picobit - A Compact Scheme System for Microcontrollers
PonyORM - Pony Object Relational Mapper
wasm-micro-runtime - WebAssembly Micro Runtime (WAMR)
LuatOS - LuatOS -- Powerful embedded Lua Engine for IoT devices, with many components and low memory requirements (16K RAM, 128K Flash)
open-data-anonymizer - Python Data Anonymization & Masking Library For Data Science Tasks
FILDZ_CYBEROS_FIRMWARE - CYBEROS firmware for CYBERWARE.
Xedge32 - Xedge32 is your go-to Lua development platform for the ESP32, designed to accelerate the development of edge devices. With built-in support for a wide array of IoT and web protocols, Xedge32 also offers seamless access to the ESP32's GPIOs. Think of it as NodeMCU taken to the next level, serving both professional developers and hobbyists with its versatile features.