commutative-algebra
dali
commutative-algebra | dali | |
---|---|---|
1 | 2 | |
15 | 70 | |
- | - | |
0.0 | 0.0 | |
about 4 years ago | about 1 year ago | |
Nim | ||
- | GNU Affero General Public License v3.0 |
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.
commutative-algebra
-
What is your “I don't care if this succeeds” project?
A book on commutative algebra https://github.com/andreaferretti/commutative-algebra/ Currently, I am writing the second volume.
It's not that I don't care about the outcome. I really hope it will be useful to many students, and I mean to publish it. But I am writing it primarily for me, as a way to keep being involved in mathematics even if I am not doing actual math research anymore
dali
-
Compiling Rust for .NET, using only tea and stubbornness
Tangentially related, I've written a barebones assembler for Android .apk files once (strictly speaking, the assembler is for .dex files, but it also comes with a set of tools to package and sign .apk files). It's written mainly in Nim and provides enough primitives to allow creating Java "stubs" for native .so libraries, so that .apk-s can be built in Nim WITHOUT JDK AT ALL. The Android NDK is still kinda needed/useful, though IIRC mainly for access to adb, and especially adb logcat (which you'll need A LOT for debugging if you try to use this contraption).
I'd love to One Day™ Rewrite It In Rust.
The .dex assembler itself is at: https://github.com/akavel/dali — you may like to check out the tests at: https://github.com/akavel/dali/tree/master/tests to see how using it looks like.
An example project with a simple .apk written purely in Nim (NO JDK) is at: https://github.com/akavel/hellomello/tree/flappy (unfortunately, given Nim's poor packaging story, it's most probably already bitrotten to the extent that it can't be quickly and easily built & used out of the box). I recorded a presentation about this for an online Nim conference — see: https://www.youtube.com/watch?v=wr9X5NCwPlI&list=PLxLdEZg8DR...
-
What is your “I don't care if this succeeds” project?
https://github.com/akavel/dali was one (a fully hand-written assembler for Android .apk files); I managed to write a rudimentary flappy-bird-like prototype in it and did a presentation: https://www.youtube.com/watch?v=wr9X5NCwPlI&list=PLxLdEZg8DR... but on shelf now, didn't get much attention, and I don't feel bad about it. Had some roadblocks, but managed to overcome them, and I'm honestly surprised how the core effort was basically easy to implement and how the formats were open and relatively simple. (The main real issues I had were that debugging via adb logs was tiresome when something was not working.) What was funny about this project was that I started it with basically a thought of: "there will be probably some annoying roadblock at some point that will make it unviable to continue; I accept that and will be ok with stopping once I stumble upon it; but I don't see one clearly from the start [I did some quick initial research how the formats & the bytecode look and they seemed rather simple], and I'm really curious how far I can get if I decide to not think about this possible roadblock". Turns out I was able to get all the way to the end :D
What are some alternatives?
scraper - Nodejs web scraper. Contains a command line, docker container, terraform module and ansible roles for distributed cloud scraping. Supported databases: SQLite, MySQL, PostgreSQL. Supported headless clients: Puppeteer, Playwright, Cheerio, JSdom.
hellomello - Experiments with writing Android apps in Nim
meal-scheduler
FactGraph - FactGraph monorepo (backend + frontend + landing page + blog)
Video-Hub-App - Official repository for Video Hub App
data_engineering_on_gcp_book - A book describing how to set up and maintain Data Engineering infrastructure using Google Cloud Platform.
scraper - A scraper for EmulationStation written in Go using hashing
go-plugin - Golang plugin system over RPC.
noteworthy - Noteworthy is a collection of experimental meta-protocols for building, deploying and managing distributed overlay networks.
shotcaller - A moddable RTS/MOBA game made with bracket-lib and minigene.
technicalc-core
clr_lite