Search Results for "core gnu/linux"
Sort By:
Showing 18 open source projects for "core gnu/linux"
View related business solutions-
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.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Cardano Node
The core component that is used to participate in a Cardano
Cardano Node is the core software that powers the Cardano blockchain, a decentralized, proof-of-stake platform for smart contracts and digital assets. Developed in Haskell, the node allows participation in Cardano’s network by validating transactions, producing blocks, and maintaining the ledger. It supports Shelley, Goguen, Basho, and other phases of Cardano’s roadmap, and plays a crucial role in network security and consensus. The node is configurable for different use cases, including... -
2
Plutus
The Plutus language implementation and tools
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core), a higher-level embedded DSL (Plutus Tx) for writing contracts in Haskell, and an off-chain infrastructure for managing interactions. It ensures strong correctness guarantees through formal... -
3
Unison
A friendly programming language from the future
Unison is an open source functional programming language based on a simple idea with big implications: code is content-addressed and immutable. Unison’s core idea is that code is immutable and identified by its content. This lets us reimagine many aspects of how a programming language works. We simplify codebase management, Unison has no builds, no dependency conflicts, and renaming things is trivial. The same core idea forms the basis for a runtime that robustly supports dynamic code... -
4
koka
Koka language compiler and interpreter
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished.... -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
5
Beam
A type-safe, non-TH Haskell SQL library and ORM
Beam is a Haskell interface to relational databases. Beam uses the Haskell type system to verify that queries are type-safe before sending them to the database server. Queries are written in a straightforward, natural monadic syntax. Combinators are provided for all standard SQL92 features, and a significant subset of SQL99, SQL2003, and SQL2008 features. Beam is standards-compliant but not naive. We recognize that different database backends provide different guarantees, syntaxes, and... -
6
Extism
The Universal Plug-in System. Extend anything with WebAssembly
Extism is a plug-in system for everyone. We've carefully designed it to be flexible, fitting into codebases of all shapes and sizes, but opinionated enough so that things Just Work™ the way they should. Extism's goal is to make all software programmable. You can use Extism in your codebase, regardless of the programming language. We support several environments through our official Host SDKs, and are adding more language support all the time. A plug-in system is software that enables your... -
7
miso
A tasty Haskell front-end framework
Miso is a small, production-ready, "isomorphic" Haskell front-end framework for quickly building highly interactive single-page web applications. It features a virtual-dom, recursive diffing / patching algorithm, attribute and property normalization, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can be... -
8
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has... -
9
Servant
Haskell DSL for describing, serving, querying, mocking web apps
Servant provides a type-level domain-specific language (DSL) in Haskell for describing web APIs. From a single API specification, developers can derive server implementations, client libraries, documentation, and more—ensuring consistency and type safety across the stack. We have a tutorial that introduces the core features of servant. After this article, you should be able to write your first server web services, learning the rest from the haddocks' examples. The core documentation can be... -
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
10
Hasktorch
Tensors and neural networks in Haskell
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions.... -
11
Reflex Platform
A curated package set and set of tools that let you build Haskell
Reflex Platform is a curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. Reflex Platform is built on top of the nix package manager. The core packages in Reflex Platform are known to work together and are tested together. the core packages in Reflex Platform are cached so you can download prebuilt binaries from the public cache instead of building from scratch. Nix locks down dependencies even outside the Haskell ecosystem (e.g., versions of C libraries that the Haskell code depends on), so you get completely reproducible builds. ... -
12
GHCJS
Haskell to JavaScript compiler, based on GHC
GHCJS is a Haskell-to-JavaScript compiler that reuses GHC’s front end to compile Haskell source into JavaScript for execution in browsers and Node.js. It aims to preserve Haskell’s semantics—including laziness and rich types—by shipping a small runtime and shims for core libraries. Developers write normal Haskell, use Cabal/Stack to build, then bundle the generated JavaScript alongside required support code. Interoperability with the JavaScript world is provided through a foreign-function... -
13
Fission ipfs
Fission CLI & server
Seamlessly deploy websites and store secure user data. Fission is built inside of a pure Nix shell via the Stack integration. This means that you should only need to type stack build to do a complete build of all packages. If you're using a nix shell, you can use cachix to prevent re-building dependencies. -
14
Asterius
A Haskell to WebAssembly compiler
Asterius is a Haskell toolchain that compiles to WebAssembly, enabling Haskell programs to run in the browser and other Wasm hosts. It builds on GHC, lowers Haskell code to WebAssembly modules, and links them with a lightweight JavaScript runtime for I/O, GC interaction, and host integration. The toolchain provides commands to build and link (ahc/ahc-link), bundle assets, and target both browser and Node environments. Interop is a core focus: Haskell functions can call into JavaScript and... -
15
TensorFlow Haskell
Haskell bindings for TensorFlow
The tensorflow-haskell package provides Haskell-language bindings for TensorFlow, giving Haskell developers the ability to build and run computation graphs, machine learning models, and leverage TensorFlow's ecosystem—though it is not an official Google release. As an expedient we use docker for building. Once you have docker working, the following commands will compile and run the tests. Run the install_macos_dependencies.sh script in the tools/ directory. The script installs dependencies... -
16
ElixirFM
Functional Arabic Morphology
ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm -
17
landshade
realtime 3d surface rendering library
landshade is a C++ library for quick tesselation of complex 3D data like terrain and other curves surfaces at different levels of detail on modern graphics hardware. -
18
A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.
- Previous
- You're on page 1
- Next
