Gobra是一个自动化的、模块化的Go程序验证器,基于Viper验证基础架构。
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure. (2023-08-17, Scala, 0KB, 下载0次)
基于UGen图的音频渲染软件。问题跟踪器:
Audio rendering software, based on UGen graphs. Issue tracker:
作为Scala 2.11.8和2.10.6的编译器插件实现的SI-2712的修复程序,
Fix for SI-2712 implemented as a compiler plugin for Scala 2.11.8 and 2.10.6, (2017-12-15, Scala, 0KB, 下载0次)
使用类型级堆栈以纯函数Scala编写的应用程序web服务器的示例,
Example of an application web server written in pure functional Scala using the typelevel stack, (2022-10-27, Scala, 0KB, 下载0次)
沙盒项目探索如何在浏览器中运行SoundProcesses工作区。
Sandbox project exploring how we can run SoundProcesses workspaces in the browser. Mirror of
SoundProcesses的GUI扩展,创建现场即兴演奏乐器。问题跟踪器:
A GUI extension to SoundProcesses, creating a live improvisation instrument. Issue tracker:
宏生成的protobuf消息的case类包装器。请改用:
Macro-generated case class wrappers for protobuf messages. Use this instead:
基于“scala编程”示例和SteveJ的scala JSON,一个用scala编写的超级易于使用的JSON解析器,
A super easy to use JSON parser written in scala, based on the "Programming in Scala" example and SteveJ s Scala-JSON, (2011-08-14, Scala, 0KB, 下载0次)
计算代码行数。用于Scala 2社区构建;也是一个几乎最小的Scala 2编译器插件示例,
count lines of code. used in Scala 2 community build; also a near-minimal example Scala 2 compiler plugin, (2023-06-09, Scala, 0KB, 下载0次)
akka、circe、cats和shapeless之上Scala的功能电报Bot API包装器,
Functional Telegram Bot API wrapper for Scala on top of akka, circe, cats, and shapeless, (2017-10-05, Scala, 0KB, 下载0次)
让您的服务器和客户端通过函数调用进行通信!用于Scala和Scala.js的JSON-RPC 2.0库,
Let your servers and clients communicate over function calls! JSON-RPC 2.0 library for Scala and Scala.js, (2023-06-16, Scala, 0KB, 下载0次)
用于Mesos的容错作业调度器,用于处理依赖项和基于ISO8601的调度,
Fault tolerant job scheduler for Mesos which handles dependencies and ISO8601 based schedules, (2022-06-29, Scala, 0KB, 下载0次)
分解主观性的增强和虚拟体验[Oculus Rift DK1,Arduino,脉冲传感器]
Augmented and virtual experience of disintegrating subjectivity [Oculus Rift DK1, Arduino, Pulse Sensor] (2017-11-06, Scala, 0KB, 下载0次)
Play Framework starter应用程序,使用Deadbolt提供授权支持并从第三方ide驱动身份验证触发器...,
A Play Framework starter app that uses Deadbolt to provide authorization support and drive authentication triggers from a third-party identity management provider. (2016-05-11, Scala, 0KB, 下载0次)
一个低开销、高性能、完全异步的HTTP 1.1服务器和客户端库,完全在Akka之上的Scala中实现,
A low-overhead, high-performance, fully async HTTP 1.1 server and client library implemented entirely in Scala on top of Akka, (2012-10-16, Scala, 0KB, 下载0次)
UGen数据库和代码合成器,为ScalaCollider生成类文件。问题跟踪器:[https:codeberg.org sciss-ScalaColliderUGen…](https:codeberg.org sciss-ScalacoliderUGens问题),
UGen database and code synthesizer to generate class files for ScalaCollider. Issue tracker: [https: codeberg.org sciss ScalaColliderUGen…](https: codeberg.org sciss ScalaColliderUGens issues), (2023-02-05, Scala, 0KB, 下载0次)
Alpakka-Kafka连接器-Alpakka是一个基于Reactive Streams和Akka的用于Java和Scala的Reactive Enterprise Integration库。,
Alpakka Kafka connector - Alpakka is a Reactive Enterprise Integration library for Java and Scala, based on Reactive Streams and Akka., (2022-09-13, Scala, 0KB, 下载0次)
Scala宏用于编译时生成安全和超快速JSON编解码器,
Scala macros for compile-time generation of safe and ultra-fast JSON codecs, (2023-07-11, Scala, 0KB, 下载0次)
用Scalatra、scalaJS、scalaTags、scararx和autowire构建的现成客户端服务器应用程序。使用svg库的示例。,
A ready to work Client Server application built with Scalatra , scalaJS, scalaTags, scalarx and autowire. An example using the svg lib., (2022-11-07, Scala, 0KB, 下载0次)
使用Akka Persistence Cassandra、Akka Cluster、Akka-Streams、Akka-IO和ScalaFX的示例客户端-服务器聊天应用程序。,
Sample client-server chat application using Akka Persistence Cassandra, Akka Cluster, Akka Streams, Akka I O, and ScalaFX., (2018-05-31, Scala, 0KB, 下载0次)