#

abc

Here are 13 public repositories matching this topic...

NikolaiVChr / maestro

Maestro and ABC Player for The Lord of the Rings Online

music player midi maestro abc lotro transcribe

Updated Nov 3, 2024
Java

EstiMate

MatiasBrizzio / EstiMate

EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.

automata regex matrix logic ltl matrix-multiplication formal-methods regex-pattern abc sat-solver regular-expressions sat owl-api linear-temporal-logic satisfiability model-counting tlsf icse

Updated May 17, 2024
Java

midica

truj / midica

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

music midi music-composition lilypond music-programming-language abc karaoke midi-player alda musescore music-programming abc-notation karaoke-player midica

Updated Mar 1, 2024
Java

kalenchukov / Alphabet

Алфавиты языков мира (Alphabets of the languages of the world)

java alphabet abc letters alphabets alphabets-world letters-alphabets

Updated Nov 29, 2023
Java

snowplow / iab-spiders-and-robots-java-client

Java 8+ client library for the IAB and ABC International Spiders and Robots list

bots robots java-library abc spiders iab iab-spiders abc-international-spiders

Updated Apr 14, 2023
Java

akarcinski / Projekt_OOP

abc

Updated Apr 11, 2023
Java

flo1166 / abcAnalysis

This was part of the lecture "object oriented programming of heuristics" at the KU Ingolstadt.

java analysis selection-sort abc object-oriented-programming

Updated Nov 22, 2022
Java

acrajovi / apifabc

TEST Práctico del proceso de selección de la empresa ROSHKA (https://www.roshka.com/). Este proyecto es una API desarrollado en lenguaje JAVA, utilizando Spring, que tiene como objetivo la apificación de la página web de ABC Digital (https://www.abc.com.py/)

java api spring-boot swagger spring-security api-rest abc apificacion abcdigital roshka apifabc

Updated Oct 18, 2022
Java

boyce-lau / redis-cluster

spring data redis cluster

abc

Updated Apr 28, 2018
Java

vteodoro / CarregAqui

App com a finalidade de carregar o saldo dos cartões de transporte público do ABC paulista e atualizar caso o usuário pague alguma tarifa.

android java mobile abc onibus cidade publico transporte

Updated Apr 24, 2018
Java

aadaileh / abc-banking-group-new

ABC BANKING GROUP - COURSEWORK

banking coursework abc group

Updated Feb 5, 2018
Java

shrikant0208 / ZepoTest

ZepoTest

abc

Updated Dec 19, 2017
Java

xiaosefengyun / LeetCode-OJ

aaa angle abc asdas cvcz

Updated Nov 16, 2016
Java

Improve this page

Add a description, image, and links to the abc topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the abc topic, visit your repo's landing page and select "manage topics."