Search Results for "linux programming"
Sort By:
Showing 29 open source projects for "linux programming"
View related business solutions-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Flix
The Flix Programming Language
Flix is a statically typed programming language combining functional, imperative, and logic paradigms, with first‑class Datalog constraints and a polymorphic effect system. Designed to run on the JVM, Flix enforces purity tracking at compile time, supports algebraic data types, tail‑call elimination, and allows entire Datalog programs as values. -
2
Cats
Lightweight, modular, extensible library for functional programming
Cats is a library which provides abstractions for functional programming in the Scala programming language. The name is a playful shortening of the word category. Scala supports both object-oriented and functional programming, and this is reflected in the hybrid approach of the standard library. Cats strives to provide functional programming abstractions that are core, binary compatible, modular, approachable and efficient. A broader goal of Cats is to provide a foundation for an ecosystem... -
3
Shapeless
Generic programming for Scala
Shapeless is a powerful generic programming library for Scala, enabling compile-time abstraction and manipulation of types. It provides features such as HLists (heterogenous lists), generic derivation of type class instances, dependent types, and polymorphic functions—allowing developers to write boilerplate-free, type-safe code. -
4
fpinscala
Code, exercises, answers, and hints to go along with the book
The fpinscala repository provides exercises, hints, and solutions for the book Functional Programming in Scala, serving as a companion resource for anyone studying the text. It is designed to guide learners through each chapter of the book by offering exercise stubs, partial implementations, and progressively developed code examples. As readers work through the book, they can complete exercises directly in the provided Scala files, building a library of functional programming constructs... -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
SpinalHDL
Scala based HDL
SpinalHDL is a hardware description (HDL) framework embedded in Scala, enabling hardware designers to build digital circuits with modern programming abstractions. Instead of writing in Verilog or VHDL directly, users describe hardware components and their interconnects using Scala code and Spinal’s domain-specific library, which then emits synthesizable hardware (e.g. as Verilog). Because SpinalHDL is embedded in Scala, it allows reuse of functional abstractions, parameterization, modular... -
6
Scala 3
The Scala 3 compiler, also known as Dotty
Scala 3 is the latest major release of the Scala language—featuring a complete compiler rewrite (Dotty), new syntax with optional braces and given/using contextual abstractions, union/intersection types, opaque types, first-class enums, and better type inference. It unifies object-oriented and functional programming paradigms into a safer, more expressive language running on the JVM with full Java interoperability. -
7
Monix
Asynchronous, Reactive Programming for Scala and Scala.js
Monix is a high-performance, reactive, and asynchronous programming library for Scala and Scala.js. Built as a Typelevel project, it provides advanced abstractions like Task, Observable, Iterant, and Coeval, enabling compositional, back-pressure‑aware event-driven systems that integrate cleanly with Cats Effect and Reactive Streams. -
8
ZIO
A type-safe, composable library for async and concurrent programming
ZIO is a purely functional, type-safe Scala library that provides an Effect (ZIO[R,E,A]) abstraction for asynchronous, concurrent programming. It offers resource safety, fiber-based concurrency, strong error handling, and deterministic testing—all with zero external dependencies. Ideal for building scalable backend systems with compositional architecture. -
9
Scalaz
Principled Functional Programming in Scala
Scalaz is a foundational functional-programming library for Scala that provides type classes, data types, and syntax to write pure, composable code. It implements classic abstractions such as Functor, Applicative, Monad, Monoid, Foldable, and Traverse, along with powerful transformers (ReaderT, StateT, WriterT, OptionT, and more) to structure effects. The library offers rich data structures—\/ (disjunction), Validation, NonEmptyList, IList, and Free—that help model errors, invariants, and... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
10
Scala 2
Scala 2 compiler and standard library
Scala combines object-oriented and functional programming in one concise, high-level language. Scala's static types help avoid bugs in complex applications, and its JVM and JavaScript runtimes let you build high-performance systems with easy access to huge ecosystems of libraries. Scastie is Scala + sbt in your browser! You can use any version of Scala, or even alternate backends such as Dotty, Scala.js, Scala Native, and Typelevel Scala. You can use any published library. You can save and... -
11
Scio
A Scala API for Apache Beam and Google Cloud Dataflow
Scio is a Scala API developed by Spotify that builds on Apache Beam to enable expressive batch and streaming data pipelines, optimized for running on Google Cloud Dataflow. Inspired by Spark and Scalding, it provides scalable, type‑safe, and production-grade data processing, with built-in support for BigQuery, Pub/Sub, Cassandra, Elasticsearch, Redis, TensorFlow IO, and more. -
12
Refined
Refinement types for Scala
Refined is a Scala library that enhances types with compile-time constraints using predicate-style refinement types. It allows embedding validation logic into types like Refined[Int, Positive], ensuring invalid values are rejected at compile or runtime, thereby increasing safety and reducing boilerplate in domain modeling. -
13
doobie
Functional JDBC layer for Scala
doobie is a pure functional JDBC layer for Scala and Cats. It is not an ORM, nor is it a relational algebra; it simply provides a functional way to construct programs (and higher-level libraries) that use JDBC. For common use cases doobie provides a minimal but expressive high-level API. doobie is a Typelevel project. This means we embrace pure, typeful, functional programming, and provide a safe and friendly environment for teaching, learning, and contributing as described in the Scala Code... -
14
Alpakka Kafka
Alpakka is a Reactive Enterprise Integration library for Java
The Alpakka project is an open source initiative to implement stream-aware and reactive integration pipelines for Java and Scala. It is built on top of Akka Streams and has been designed from the ground up to understand streaming natively and provide a DSL for reactive and stream-oriented programming, with built-in support for backpressure. Akka Streams is a Reactive Stream and JDK 9+ java.util.concurrent.Flow-compliant implementation and therefore fully interoperable with other... -
15
Cats Effect
The pure asynchronous runtime for Scala
Cats-Effect is a high-quality functional programming library for Scala that provides a principled way to represent and manage side effects, particularly asynchronous and concurrent computations. It is part of the broader Typelevel ecosystem and builds on the abstractions from Cats (such as Functor, Monad, etc.). The core abstraction is the IO type (or effect types more generally), which encodes effectful computations in a pure, referentially transparent way. Cats-Effect offers capabilities... -
16
Finagle
A fault tolerant, protocol-agnostic RPC system
Finagle is an extensible RPC system for the JVM, used to construct high-concurrency servers. Finagle implements uniform client and server APIs for several protocols, and is designed for high performance and concurrency. Most of Finagle’s code is protocol agnostic, simplifying the implementation of new protocols. Finagle is written in Scala, but provides both Scala and Java idiomatic APIs. Finagle is a protocol-agnostic, asynchronous RPC system for the JVM that makes it easy to build robust... -
17
Byzer-lang
A low-code open-source programming language for data pipeline
Byzer (former MLSQL) is a low-code, open-sourced, and distributed programming language for data pipeline, analytics, and AI in a cloud-native way. Design protocol: Everything is a table. Byzer is a SQL-like language, to simplify data pipeline, analytics, and AI, combined with built-in algorithms and extensions. We believe that everything is a table, a simple and powerful SQL-like language can significantly reduce human efforts of data development without switching different tools. -
18
Spire
Powerful new number types and numeric abstractions for Scala
Spire is a numeric and algebraic library for Scala, offering type-safe, generic, and high-precision arithmetic. It introduces abstractions like Rings, Fields, and Rationals and supports specialized number types (e.g. Rational, Complex, Interval), macros, and seamless integration with Cats for abstract numeric programming. -
19
Vale
Compiler for the Vale programming language
Vale is a systems programming language and compiler that strives to combine performance, safety, and ease in a way that avoids many of the complexities of traditional memory management techniques. It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the... -
20
atto
Friendly little parsers
Atto is a compact, pure-functional, incremental text parsing library for Scala. It offers a non-invasive API using familiar abstractions, making it a principled tool for everyday parsing tasks in functional programming. -
21
Mozart-Oz Programming System
Runtime and development environment of Oz
The Mozart Programming System is an open source implementation of the programming language Oz 3. Oz is a multi-paradigm language that supports declarative programming, object-oriented programming, constraint programming, concurrency and distributed programming as part of a coherent whole. -
22
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
-
23
ArnoldC
Arnold Schwarzenegger based programming language
ArnoldC is a programming language built as a joke language, where the entire syntax is based on quotes from Arnold Schwarzenegger movies. Instead of conventional keywords and operators, it uses memorable movie lines to represent programming constructs like conditionals, loops, and functions. For example, “IT’S SHOWTIME” starts the main method, “TALK TO THE HAND” represents output, and “I’LL BE BACK” denotes a return statement. While humorous in nature, the language is fully functional and... -
24
Scala Exercises
The easy way to learn Scala
Scala Exercises is an open source platform for learning Scala through interactive exercises and tutorials. It provides a hands-on learning environment where users can read theory and immediately code (in the browser) and see results. The content covers Scala language features, functional programming libraries (cats, scalaz, etc.), and fp-style patterns. It is modular, so additional modules or “sections” can be added for new topics or libraries. The aim is to reduce the friction in learning... -
25
rpgboss
Built to be ease of use, with no programming knowledge, Multi-platform
A 2d rpg game engine created to be ease of use. Built in Scala and libgdx. Also our community forums http://rpgboss.forumatic.com
