Skip to content
View gregor-i's full-sized avatar

Highlights

  • Pro

Block or report gregor-i

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
Showing results

A Proof Generator for Entailments and Tautologies in First-order Logic

Scala 38 1 Updated Dec 16, 2024

Multi-platform GPGPU computations with Scala, seamlessly 🚀

Scala 75 Updated Dec 7, 2024

Nix library for building Scala sbt projects

Nix 64 11 Updated Oct 28, 2023

LiveView-based library for reactive app development in NodeJS and Deno

TypeScript 745 19 Updated Aug 28, 2023

Use the world of Python from the comfort of Scala!

Scala 557 43 Updated Sep 27, 2024

Web Component to visualize JSON data in a tree view

TypeScript 179 30 Updated Oct 29, 2024

An incremental game about Space Mining

JavaScript 306 176 Updated Jun 17, 2024

The fastest logging library in the world. Built from scratch in Scala and programmatically configurable.

Scala 524 42 Updated Dec 18, 2024

🤖 A bot that helps you keep your projects up-to-date

Scala 1,153 502 Updated Dec 18, 2024

Pure Scala Artifact Fetching

Scala 2,059 312 Updated Dec 17, 2024

The Functional and Reactive Web-Frontend Library for Scala.js

Scala 466 42 Updated Dec 4, 2024

Simple scala library for building and parsing URIs

Scala 305 35 Updated Dec 11, 2024

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Scala 14,359 3,116 Updated Dec 17, 2024

Scala.js, the Scala to JavaScript compiler

Scala 4,610 394 Updated Dec 17, 2024

Force-directed graph rendered on HTML5 canvas

JavaScript 1,625 248 Updated Dec 13, 2024

Fast Scala eDSL for HTML

Scala 57 5 Updated Sep 13, 2022

Single Page Applications running on the server side.

Scala 579 50 Updated Aug 13, 2023

The Scala 3 compiler, also known as Dotty.

Scala 5,912 1,064 Updated Dec 18, 2024

Console-based GLSL Sandbox for 2D/3D shaders

C++ 4,751 351 Updated Sep 3, 2024

A modern desktop interface for Linux. Improve your user experience and get rid of the anarchy of traditional desktop workflows. Designed to simplify navigation and reduce the need to manipulate win…

TypeScript 7,278 184 Updated Jul 22, 2024

An FP game engine for Scala.

Scala 653 60 Updated Dec 1, 2024

A better notebook for Scala (and more)

Jupyter Notebook 4,545 397 Updated Dec 6, 2024

Graph drawing library for JavaScript

JavaScript 3,786 425 Updated Nov 8, 2024

Creative Coding: Generative Art, Data visualization, Interaction Design, Resources.

HTML 13,049 881 Updated Dec 7, 2024

Play with fluids in your browser (works even on mobile)

JavaScript 14,777 1,690 Updated Nov 12, 2024

Filament is a real-time physically based rendering engine for Android, iOS, Windows, Linux, macOS, and WebGL2

C++ 17,918 1,908 Updated Dec 18, 2024

Fast procedural 2D space scene generation on the GPU.

JavaScript 136 20 Updated Oct 24, 2016

Render Snabbdom Vnode’s to HTML strings

JavaScript 95 21 Updated Apr 16, 2023

Procedural 3D planet texture and 2D planet sprite generator.

JavaScript 138 17 Updated Dec 31, 2015

Yet another JSON library for Scala

Scala 2,501 541 Updated Dec 17, 2024
Next