Search Results for "linux-debian" - Page 5
Sort By:
Showing 236 open source projects for "linux-debian"
View related business solutions-
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.
-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable... -
2
Haskell IDE Engine (HIE)
The engine for haskell ide-integration. Not an IDE
This project aims to be the universal interface to a growing number of Haskell tools, providing a fully-featured Language Server Protocol server for editors and IDEs that require Haskell-specific functionality. Supports plain GHC projects, cabal projects(sandboxed and non sandboxed) and stack projects. Fast due to caching of compile info. Uses LSP, so should be easy to integrate with a wide selection of editors. Diagnostics via hlint and GHC warnings/errors. Code actions and quick fixes via... -
3
Fay
A proper subset of Haskell that compiles to JavaScript
Fay is a compiler for a proper subset of Haskell that type-checks using GHC and compiles to JavaScript. It supports pure functional programming, a Fay-specific monad, FFI, optional tail-call optimization, and integration with Cabal packages. GHC-compatible type checking, ensuring correctness. Lazy, pure functional semantics with a distinct Fay monad. Foreign Function Interface (FFI) to integrate native JS code. Compatible with standard Haskell packaging tools like Cabal. -
4
The Fission CL
Command-line interface for Fission
The Fission CLI is now part of the main fission-suite/fission repo. We construct identity, data, and compute solutions for the future of the Internet. Users want data ownership and privacy without compromising on a seamless experience. You want to build a resilient application that is fast, cost-effective, and efficient. We build local-first and edge computing tools that make all of this possible. Fission builds open source protocols and managed solutions that empower developers to construct... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
GHC (Glasgow Haskell Compiler)
Mirror of the Glasgow Haskell Compiler
GHC (Glasgow Haskell Compiler) is the leading open-source compiler and interactive environment for the Haskell programming language, supporting the Haskell 2010 standard plus numerous language extensions. It compiles to native machine code (via LLVM or C), and includes the interactive GHCi REPL. For full information on building GHC, see the GHC Building Guide. Here follows a summary - if you get into trouble, the Building Guide has all the answers. For building library documentation, you'll... -
6
Cardano SL
Cryptographic currency implementing Ouroboros PoS protocol
Cryptographic currency implementing Ouroboros PoS protocol. The cardano-node is the top level for the node and aggregates the other components from other packages: consensus, ledger and networking, with configuration, CLI, logging and monitoring. The node no longer incorporates wallet or explorer functionality. The wallet backend and explorer backend are separate components that run in separate external processes that communicate with the node via local IPC. The new Cardano implementation... -
7
Unused
A command line tool to identify unused code
Unused identifies unused code in Rails, Phoenix, and other types of applications, improving developer productivity. By default, unused leverages a different memory allocator called mimalloc. For my local benchmarks, it speeds up execution by a significant amount (which is documented in the commit introducing mimalloc), but currently runs into sporadic issues on Apple M1 devices. If you run into issues with segmentation faults, consider reinstalling unused with the stock Rust allocator. It is... -
8
ordinals
Collection of scripts for transfinite ordinals computations
Collection of scripts for transfinite ordinals computations -
9
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... -
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
Semantic
Parsing, analyzing, and comparing source code across many languages
semantic is a Haskell library and command line tool for parsing, analyzing, and comparing source code. Run semantic --help for complete list of up-to-date options. Semantic uses tree-sitter to generate parse trees, but layers in a more generalized notion of syntax terms across all supported programming languages. We'll see why this is important when we get to diffs and program analysis, but for now let's just inspect some output. It helps to have a simple program to parse. Symbols are named... -
11
Toodles
Project management directly from the TODOs in your codebase
Toodles is a dead-simple, self-hosted web-based to-do list application that scans your codebase for TODO comments and displays them in a clean dashboard. It helps developers keep track of pending work scattered across files, making it easier to manage technical debt and pending improvements. -
12
turtle
Shell programming, Haskell style
Turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as a scripting language or a shell. Think of turtle as coreutils embedded within the Haskell language. The turtle library focuses on being a "better Bash" by providing a typed and light-weight shell scripting experience embedded within the Haskell language. If you have a large shell script that is difficult to maintain, consider translating it to a "turtle script" (i.e. a Haskell script... -
13
Eta
The Eta Programming Language, a dialect of Haskell on the JVM
A powerful programming language to build concurrent & distributed systems on the JVM. Eta is a pure, lazy, strongly typed functional programming language on the JVM. It brings two big ecosystems, the JVM and Haskell, together. This allows you to harness the best of both ecosystems to build your applications quickly and effectively. Eta's concurrency support helps you to build highly scalable systems. Eta has a strongly-typed Foreign Function Interface (FFI) that allows you to safely... -
14
HaLVM
The Haskell Lightweight Virtual Machine (HaLVM)
HaLVM is a Haskell-based unikernel system that lets you write entire virtual machines in Haskell and run them directly on a hypervisor, traditionally Xen. Instead of deploying a full operating system, you compile a Haskell program into a tiny image that boots as its own VM, which reduces the attack surface and startup time. The project adapts GHC and the Haskell runtime to a minimal environment, providing the I/O, networking, and memory facilities necessary for standalone services. Its... -
15
Power Systems
Power system analysis software
-
16
Simula
Linux VR Desktop
Simula is a virtual reality (VR) window manager and desktop environment for Linux, built atop the Godot engine. It provides a VR-based Linux desktop experience, enabling productive workflows in AR/VR with immersive window management. A common objection to the viability of VR Desktop is that it exhibits poor text quality; however, with our low pass filter, Simula has taken special care to make text quality as clear as possible. -
17
jl
Functional sed for JSON
jl ("JSON lambda") is a tiny functional language for querying and manipulating JSON. -
18
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.
-
19
Kaleidoscope
Haskell LLVM JIT Compiler Tutorial
This repository is a Haskell port of the classic LLVM “Kaleidoscope” tutorial that walks you through building a tiny programming language from scratch. It covers the complete pipeline: tokenizing and parsing a simple, expression-oriented language, constructing an AST, and generating LLVM IR with a JIT so you can execute code interactively. Along the way it adds language features like user-defined functions, conditionals, loops, and operator precedence, demonstrating how each addition impacts... -
20
Queryparser
Parsing and analysis of Vertica, Hive, and Presto SQL
Queryparser is Uber’s open source Haskell library for parsing and analyzing SQL queries written in different dialects (Vertica, Hive, Presto). It creates a unified AST and supports name resolution using catalog metadata, enabling large-scale query analysis for lineage detection, analytics, and tooling. The parsing logic produces an AST with table and column identifiers that are "raw" or optionally qualified. Frequently, it is desirable to convert the AST over raw names to an AST over... -
21
Yi
The Haskell-Scriptable Editor
Yi is a flexible and extensible text editor written and configured entirely in Haskell. Designed for power users and Haskell developers, Yi provides Vim and Emacs-style keybindings and is customizable via Haskell code, not configuration files. It supports syntax highlighting, multiple editing modes, and efficient performance through a layered architecture. Yi showcases how editor components can be composed as reusable libraries within Haskell. -
22
Haste
A GHC-based Haskell to JavaScript compiler
A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list. Seamless, type-safe single program framework for client-server communication. Support for modern web technologies such as WebSockets, WebStorage and Canvas. Simple JavaScript interoperability. Generates small, fast programs. Supports all GHC extensions except Template Haskell. Uses standard Haskell libraries. Cabal integration, simple, one-step build; no need for error prone Rube Goldberg machines... -
23
Haxl
Haskell library that simplifies access to remote data
Haxl is a Haskell library that simplifies access to remote data, such as databases or web-based services. Haxl can automatically batch multiple requests to the same data source, request data from multiple data sources concurrently, cache previous requests, and memoize computations. Having all this handled for you behind the scenes means that your data-fetching code can be much cleaner and clearer than it would otherwise be if it had to worry about optimizing data-fetching. To use Haxl in... -
24
Heckle
Jekyll in Haskell (feat. LaTeX)
An easy-to-use static-site compiler written in Haskell that supports LaTeX/PDF and Markdown/HTML posts. Care has been taken to make it as simple and unopinionated as possible. In other words, Heckle is basically Jekyll in Haskell (feat. LaTeX). -
25
Corrode
C to Rust translator
Corrode is an experimental translator that converts C code into Rust, intended to help migrate existing C codebases toward safer Rust idioms. It parses C, maps C types and constructs into Rust equivalents, and generates code that compiles under rustc, introducing unsafe only when necessary. The tool seeks to produce readable Rust that a developer can then refine by hand, rather than a perfect one-to-one mechanical translation. It handles common C features such as pointers, structs, enums,...
