Search Results for "drcom-for-linux" - Page 3
Sort By:
Showing 130 open source projects for "drcom-for-linux"
View related business solutions-
Cloud-based help desk software with ServoDeskWhat if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
-
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.
-
1
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... -
2
Lamdu
Lamdu, towards the next generation IDE
Lamdu is a programming language designed to be useful and delightful. This project aims to create a next-generation, live programming environment that radically improves the programming experience. A predictable user interface with rich code completions, without the possibility of syntax errors. Continuous, automatic code formatting without the user needing to deal with formatting. -
3
Carp
A functional, systems programming language with linear types
Carp is a statically typed, functional programming language designed for real-time and systems programming. It features a Lisp-like syntax, strong compile-time checks, and linear type semantics that ensure memory safety without a garbage collector. Carp targets C as its backend, generating performant and predictable native code while offering functional abstractions and interactive development via REPL. -
4
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... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
Rome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory, etc.
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others. Rome is a tool that allows developers on Apple platforms to use Amazon's S3, Minio, Ceph, other S3-compatible object stores or/and a local folder. The Rome binary is also attached as a zip to each release on the releases page here on GitHub. Suppose you're working a number of frameworks for your project and want to share those with your team. A great way to do so is to use Carthage and have team members point... -
6
Dapp tools by DappHub
Dapp, Seth, Hevm, and more
Command line tools and smart contract libraries for Ethereum smart contract development. All you need Ethereum development tool. Build, test, fuzz, formally verify, debug & deploy solidity contracts. Ethereum CLI. Query contracts, send transactions, follow logs, slice & dice data. Testing-oriented EVM implementation. Debug, fuzz, or symbolically execute code against local or mainnet state. Sign Ethereum transactions from a local keystore or hardware wallet. dapptools is currently in a stage... -
7
Paperboy
a small .pdf management tool with a command-line UI
Paperboy is a tiny .pdf management utility. If you download papers and other pdf documents, you might have noticed that filenames like 1412.4880.pdf are not terribly helpful for finding anything later on. This tool helps with that. It will offer to rename and move files to a specified folder, and it even gives some filename suggestions by looking at the content and the pdf metadata. Paperboy keeps its file management dumb on purpose (no keeping files in a database or hidden library folder),... -
8
Neuron
Future-proof note-taking and publishing based on Zettelkasten
Neuron is a Zettelkasten-based note-taking system and static site generator built in Haskell. It allows users to manage interlinked notes using plain-text Markdown files, which are automatically rendered into a web-based knowledge base. Neuron supports incremental builds, backlinks, and efficient navigation across linked content, making it ideal for personal knowledge management, digital gardens, and wikis. It emphasizes speed, simplicity, and easy version control with Git. -
9
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
Cloud data warehouse to power your data-driven innovationBigQuery Studio provides a single, unified interface for all data practitioners of various coding skills to simplify analytics workflows from data ingestion and preparation to data exploration and visualization to ML model creation and use. It also allows you to use simple SQL to access Vertex AI foundational models directly inside BigQuery for text processing tasks, such as sentiment analysis, entity extraction, and many more without having to deal with specialized models.
-
10
alphabit.org
Public files of alphabit.org domain
for now used as testing platform to get acquainted with git. eventually will contain source files and examples on the usage and customization of the code crafting tools being developed at alphabit.org domain... 1 . web server (nodejs), to share bits our way... the highway was too dangerous and inadequate. 2. window manager (xmonad), to enjoy work... as we are at it. 3. yet another new programming language (javascript), it does not yet exists and we would like to try it. more... -
11
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
12
Yesod
A RESTful Haskell web framework built on WAI
Yesod is a high-performance web framework for Haskell focused on enabling productive development of type-safe, RESTful web applications. It leverages Haskell's strong static typing, compile-time safety checks, Template Haskell, and domain-specific quasiquoters to ensure high reliability and performance. Safety & security guaranteed at compile time. Developer productivity: tools for all your basic web development needs. Raw performance, fast, compiled code. Techniques for constant-space... -
13
Accelerate
Embedded language for high-performance array computations
Data.Array.Accelerate defines an embedded language of array computations for high-performance computing in Haskell. Computations on multi-dimensional, regular arrays are expressed in the form of parameterized collective operations (such as maps, reductions, and permutations). These computations are online-compiled and executed on a range of architectures. Accelerate is a free, general-purpose, open-source library that simplifies the process of developing software that targets massively... -
14
Summoner
Tool for scaffolding batteries-included production-level Haskell
...Do you want to create a library that is to be uploaded to Hackage/Stackage, that builds with both Cabal and Stack and supports the latest three major GHC versions? Or are you building a production application that uses a custom prelude and has CI with GitHub Actions or Travis Linux and AppVeyors Windows checks? Maybe do you want to play with your idea in a single module without introducing the whole complexity of the Haskell projects. Summoner can help you do all that with minimal effort from you - it can even upload the project to GitHub if you wish! By the way, Summoner operates as either CLI or TUI application, so you can choose what you are more comfortable with and install only the required one. -
15
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... -
16
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... -
17
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. -
18
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... -
19
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... -
20
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... -
21
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... -
22
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... -
23
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... -
24
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... -
25
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...
