p-pavel

p-pavel's Stars

• real-logic/aeron

  Efficient reliable UDP unicast, UDP multicast, and IPC message transport

  Language:Java7.5k356802901

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala6k2009.3k1.1k

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1851.2k1.2k

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.6k655.6k367

• typelevel/fs2

  Compositional, streaming I/O library for Scala

  Language:Scala2.4k84758614

• monix/monix

  Asynchronous, Reactive Programming for Scala and Scala.js.

  Language:Scala1.9k59663245

• softwaremill/tapir

  Rapid development of self-documenting APIs

  Language:Scala1.4k43914433

• com-lihaoyi/scalatags

  ScalaTags is a small XML/HTML construction library for Scala.

  Language:Scala76137139118

• VirtusLab/scala-cli

  Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)

  Language:Scala589181k139

• dustinkredmond/FXTrayIcon

  Tray Icon implementation for JavaFX applications. Say goodbye to using AWT's SystemTray icon, instead use a JavaFX Tray Icon.

  Language:Java34085526

• dlsc-software-consulting-gmbh/GMapsFX

  Java API for using Google Maps within a JavaFX application.

  Language:Java32241149120

• typelevel/fs2-grpc

  gRPC implementation for FS2/cats-effect

  Language:Scala276123858

• rockthejvm/spark-essentials

  The official repository for the Rock the JVM Spark Essentials with Scala course

  Language:Scala269179361

• SquirrelJME/SquirrelJME

  SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.

  Language:Java266169121

• kenkangxgwe/lsp-wl

  A Wolfram Language Server

  Language:Mathematica217117322

• njpipeorgan/wolfram-language-notebook

  Notebook support for Wolfram Language in VS Code

  Language:TypeScript17475712

• copumpkin/categories

  Categories parametrized by morphism equality, in Agda

  Language:Agda149141724

• UlfNorell/agda-prelude

  Programming library for Agda

  Language:Agda127143724

• sothawo/mapjfx

  JavaFX implementation of a map using OpenLayers and JavaFX

  Language:Java1121410330

• WolframResearch/WolframWebEngineForPython

  Integrates the Wolfram Language seamlessly with Python AIOHTTP

  Language:Python91231113

• rycus86/podlike

  Co-located containers as Docker Swarm services (like Kubernetes pods)

  Language:Go82101017

• szhorvat/LTemplate

  Extend Mathematica with LibraryLink and C++ with ease

  Language:C++58131110

• apache/karaf-cellar

  Mirror of Apache Karaf Cellar

  Language:Java4717050

• sbt/sbt-osgi

  sbt plugin for creating OSGi bundles

  Language:Scala47154343

• cekdahl/jSoupLink

  HTML parser for Mathematica/Wolfram Language

  Language:Mathematica43746

• JPro-one/JPro-Platform

  Represents the foundation of cross-platform application development, seamlessly integrating the power of JavaFX with the limitless potential of web-based applications running via JPro.

  Language:Java30363

• ANierbeck/Karaf-Cassandra

  Language:Java2052111

• takawata/FreeBSD-BLE

  Language:C205138

• oovm/WLNet-ModelZoo

  Language:Mathematica19162

• winitzki/ui

  Declarative GUI for desktop apps in Scala

  Language:Scala1201