Nothing Special   »   [go: up one dir, main page]

Skip to content
View fracek's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@dylan-lang @dylan-foundry @Pyomo @cog-imperial

Block or report fracek

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
9 stars written in Java
Clear filter

QuestDB is an open source time-series database for fast ingest and SQL queries

Java 14,639 1,189 Updated Nov 25, 2024

The Clojure programming language

Java 10,483 1,464 Updated Nov 14, 2024

Source for the TechEmpower Framework Benchmarks project

Java 7,654 1,946 Updated Nov 25, 2024

Simple Binary Encoding (SBE) - High Performance Message Codec

Java 3,121 523 Updated Nov 19, 2024

A blazingly fast multi-language serialization framework powered by JIT and zero-copy.

Java 3,116 248 Updated Nov 21, 2024

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

Java 2,328 197 Updated Nov 24, 2024

Erlang IDE

Java 735 120 Updated Nov 15, 2024

A source code of android game called 'antiyoy'.

Java 430 53 Updated Aug 29, 2022

Ray tracing based language benchmarks

Java 95 23 Updated Aug 31, 2015