Skip to content
View AFifarek's full-sized avatar
1 follower · 2 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report AFifarek

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

5 stars written in Java
Clear filter

JabRef / jabref

Graphical Java application for managing BibTeX and biblatex (.bib) databases

Java 3,684 2,611 Updated Jan 3, 2025

loonwerks / jkind

JKind - An infinite-state model checker for safety properties in Lustre

Java 52 33 Updated Dec 25, 2024

smaccm / smaccm

Java 33 24 Updated May 8, 2019

lgwagner / SpeAR

Forked from AFifarek/SpeAR

Specification and Analysis for Requirements Tool

Java 20 4 Updated Mar 10, 2021

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

Java 15 18 Updated Sep 3, 2020