Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by JoJoDeveloping
A curated list of projects in awesome lists by JoJoDeveloping .
https://github.com/jojodeveloping/itemtextureexporter
Minecraft Mod that allows exporting the items the way they are rendered.
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/functionalang
A functional language that is mostly inspired by SML, although there are a few differences
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/acp
My project for a course at Saarland University called "Advanced Coq Programming". My work is limited to the Reflection.v and GeneralReflection.v files, with some slight modifications in PA.v and ZF.v
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/some-optimization-problem
A solution for https://cs.stackexchange.com/a/164501/147294
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/peheaders
Contains a collection of MC:PE's headers to use for everyone.
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/npcoq
Proofs from NP, baked into Coq. NP (German for Concurrent Programming), of course, is a lecture at Saarland University.
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/testrepo
Test how GitHub cross-references commits
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/mcpalettedither
Dithers the MC palette - License: MIT
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/newnamer
Find and map new methods/fields/classes that are not yet in any Tsrg file
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/tb-sb-differences-canary
A crate that behaves differently under Tree Borrows and Stacked Borrows
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/jugendforscht
Code to access the MPU9250 inertial reference sensor with an Arduino, storing data on a SD card.
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/decomparer
GUI to compare [java] decompiler results
Last synced: 02 Dec 2024
https://github.com/jojodeveloping/ccsstuff
CCS and PseuCo stuff for the Concurrent Programming Lecture at Saarland University. See pseuco.com
Last synced: 02 Dec 2024