Skip to content
View axkr's full-sized avatar
99 followers · 248 following

Sponsors

@iils-team

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruckx2Achievement: Arctic Code Vault Contributor

Block or report axkr

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

6 stars written in Scala
Clear filter

LS-Lab / KeYmaeraX-release

KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

Scala 84 44 Updated Jul 3, 2025

cascala / galileo

Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool

Scala 70 7 Updated Nov 25, 2019

ten15bit / hello-grpc-scala

Introduction to gRPC with ScalaPB.

Scala 37 5 Updated May 18, 2018

p-e-w / sequencer

Purely algorithmic number sequence identification

Scala 30 4 Updated Feb 5, 2022

stub22 / axiomagic

Axiomagic is an interactive exploration toolkit

Scala 5 1 Updated Jun 11, 2023

PoslavskySV / rings.oneloop

Oneloop massless integral reduction by means of Tarasov's recurrence relations

Scala 1 Updated Dec 19, 2018