gitea: Gitea Service

objectionary/ eo

Java 1 0

EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus

starred-repo programming-language java language eolang oop starred-objectionary-repo

Updated 2024-12-03 18:35:33 +03:00

cqfn/ eo

Java 1 0

EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-Calculus

starred-repo eolang java language oop programming-language starred-cqfn-repo

Updated 2024-12-03 15:54:22 +03:00

tlaplus/ tlaplus

Java 0 0

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Updated 2024-12-03 05:24:59 +03:00

yacy/ yacy_search_server

Java 1 0

Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance

starred-repo starred-yacy-repo

Updated 2024-12-03 00:12:23 +03:00

RetGal/ Dayon

Java 1 0

Dayon! - A cross-platform remote desktop assistance solution for your family and friends

starred-repo cross-platform assistance encrypted-connections multilingual remote-access remote-desktop support starred-retgal-repo

Updated 2024-12-02 11:46:05 +03:00

Anuken/ Mindustry

Java 0 0

The automation tower defense RTS

game java android rts desktop mindustry mobile-game multiplatform sandbox-game tower-defense

Updated 2024-12-01 07:59:29 +03:00

Etar-Group/ Etar-Calendar

Java 1 0

Android open source calendar

starred-repo android material-design calendar starred-etar-group-repo

Updated 2024-12-01 05:30:04 +03:00

falzonv/ discreet-launcher

Java 1 0

Enjoy a clean home screen while accessing everything in an instant! (Profitez d'un écran d'accueil épuré tout en accédant à tout en un instant !)

starred-repo android java launcher open-source starred-falzonv-repo

Updated 2024-11-27 21:00:24 +03:00

angryip/ ipscan

Java 1 0

Angry IP Scanner - fast and friendly network scanner

starred-repo starred-angryip-repo

Updated 2024-11-23 22:03:42 +03:00

dbeaver/ dbeaver

Java 1 0

Free universal database tool and SQL client

starred-repo postgresql database java sql gui mysql sqlite sqlserver nosql db2 dbeaver erd oracle redshift starred-dbeaver-repo

Updated 2024-10-16 17:35:10 +03:00

Helium314/ HeliBoard

Java 1 0

Customizable and privacy-conscious open-source keyboard

starred-helium314-repo starred-repo

Updated 2024-09-29 20:30:12 +03:00

metanorma/ xsdvi

Java 1 0

Fork of XsdVi tool - Java application serves to transform W3C XML Schema instances into interactive diagrams in SVG format.

starred-repo starred-metanorma-repo

Updated 2023-09-22 10:29:49 +03:00

lexi-lambda/ shattered-plans

Java 1 0

not really known

starred-repo starred-lexi-lambda-repo

Updated 2023-05-01 02:01:54 +03:00

ilyakooo0/ cautious-octo-palm-tree

Java 0 0

not really known

Updated 2021-12-02 23:00:53 +03:00

francescotescari/ XiaoMiToolV2

Java 0 0

XiaomiTool V2 - Modding tool for xiaomi devices

android adb bootloader fastboot mi modding recovery xiaomi

Updated 2021-10-09 16:40:14 +03:00

EnterpriseQualityCoding/ FizzBuzzEnterpriseEdition

Java 1 0

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

Updated 2019-12-18 10:12:52 +03:00

Collinux/ minimalist-launcher

Java 1 0

[Android] Simplify your device interaction with the most minimalistic home screen.

starred-repo android app launcher application dark-theme mobile-app amoled app-launcher homescreen light-launcher minimalism minimalist simple starred-collinux-repo

Updated 2019-09-04 18:17:46 +03:00

ilyakooo0/ rasparsit

Java 0 0

A type safe, declarative, composable and extensible command line argument parser for Java.

Updated 2019-05-29 01:31:09 +03:00

annMikh/ Socket

Java 0 0

not really known

Updated 2019-02-13 13:07:12 +03:00