Small demo for android app in Ada/webAssembly
☆12Mar 5, 2020Updated 6 years ago
Alternatives and similar repositories for android_app_demo
Users that are interested in android_app_demo are comparing it to the libraries listed below
Sorting:
- JSON/JWK/JWS/JWT/Base64 library in SPARK☆19Oct 12, 2020Updated 5 years ago
- 基于ANSI C开发的内存池和线程池,性能优异☆21Mar 2, 2016Updated 10 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 5 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 5 years ago
- Matreshka is Ada framework to develop information systems☆26Oct 1, 2022Updated 3 years ago
- Ada WASM Runtime and Bindings for Web API☆75Feb 16, 2025Updated last year
- ☆10Dec 25, 2025Updated 2 months ago
- DynELA Finite Element code v.3.0☆11Oct 22, 2020Updated 5 years ago
- A serif typeface designed for readability at small sizes.☆14Oct 29, 2024Updated last year
- Logseq git sync☆10May 6, 2023Updated 2 years ago
- Automatically updating projects.json files from raku ecosystems☆11Mar 3, 2023Updated 3 years ago
- Collection of How-to documents for Ada☆36Jun 1, 2021Updated 4 years ago
- mods improvements hacks for the PrinCube☆11May 4, 2022Updated 3 years ago
- celq - A Common Expression Language (CEL) CLI Tool☆23Feb 7, 2026Updated 3 weeks ago
- Writing Radare2 plugins in various languages☆18Sep 22, 2025Updated 5 months ago
- A Demo of two different Architectures for a Lerna / React / Storybook App☆10Jan 25, 2019Updated 7 years ago
- Log rotation of stdout & stderr☆15May 9, 2014Updated 11 years ago
- ☆12Apr 1, 2025Updated 11 months ago
- do not debug me☆11Jun 26, 2019Updated 6 years ago
- Classic Fortran games, public domain☆13Jan 23, 2024Updated 2 years ago
- Allows additional formspec buttons to be added to the player inventory screen.☆12May 14, 2017Updated 8 years ago
- Test that a Perl 6 project has a good and proper META file☆10Jul 4, 2023Updated 2 years ago
- How to build the MPI Version of Code Aster 15.4 inside the Singularity Container of Salome-Meca 2021☆13Mar 1, 2023Updated 3 years ago
- Library Secruity dependency Checker☆12Sep 13, 2019Updated 6 years ago
- Conway's Game of Life written in Fortran 77 for FreeDOS☆11Oct 8, 2021Updated 4 years ago
- Ada Unit Testing Library☆10Aug 3, 2025Updated 7 months ago
- 快速开发公司/个人代码规范检查☆10May 15, 2020Updated 5 years ago
- Fortran 2018 interface bindings to Zstandard (zstd)☆11Jan 16, 2026Updated last month
- My GNU Screen config☆12Jul 23, 2015Updated 10 years ago
- https://liu.hn.cn/☆10May 21, 2019Updated 6 years ago
- Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…☆14May 10, 2023Updated 2 years ago
- Fortran subroutines for reading and writing C81 airfoil tables☆12Mar 1, 2023Updated 3 years ago
- An MCP client that uses signal for sending and receiving messages.☆16Apr 30, 2025Updated 10 months ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 6 years ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Action for iOS developers to automate tedious tasks like swiftlint, pod-lib-lint, install, run, test.☆14May 5, 2023Updated 2 years ago
- (Food) recipes☆12Oct 11, 2020Updated 5 years ago
- zsort is a collection of portable sorting algorithms in Common Lisp.☆29Apr 23, 2012Updated 13 years ago
- Checklist for assessing Tezos smart contracts' security☆12Apr 14, 2023Updated 2 years ago