Showing 16 open source projects for "drcom-for-linux"

View related business solutions
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    Build gen AI apps with an all-in-one modern database: MongoDB Atlas

    MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
    Start Free
  • Cloud-based help desk software with ServoDesk Icon
    Cloud-based help desk software with ServoDesk

    Full access to Enterprise features. No credit card required.

    What 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.
    Try ServoDesk for free
  • 1

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Human Speakable Programming Language

    Human Speakable Programming Language

    foundation of the General Intelligence Operating System

    HSPL is Human Speakable Programming Language, allowing for communication between human-to-computer and human-to-human in the same language. This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Xcerpt is a Query and Transformation Language for XML and Semistructured data. Instead of the navigational approach of XPath-based languages like XSLT or XQuery, Xcerpt uses patterns for querying and is based on concepts of logic programming like unifica
    Downloads: 0 This Week
    Last Update:
    See Project
  • All-in-one security tool helps you prevent ransomware and breaches. Icon
    All-in-one security tool helps you prevent ransomware and breaches.

    SIEM + Detection and Response for IT Teams

    Blumira’s detection and response platform enables faster resolution of threats to help you stop ransomware attacks and prevent data breaches. We surface real threats, providing meaningful findings so you know what to prioritize. With our 3-step rapid response, you can automatically block known threats, use our playbooks for easy remediation, or contact our security team for additional guidance. Our responsive security team helps with onboarding, triage and ongoing consultations to continuously help your organization improve your security coverage.
    Learn More
  • 5
    husk-scheme
    An R5RS Scheme interpreter and library written in Haskell. Provides advanced features including continuations, hygienic macros, and the full numeric tower.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    midori programming language

    midori programming language

    dependently typed functional programming language

    Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Lsl Plus is an edit/compile/test environment for the Linden Scripting Language (LSL), implemented as an Eclipse plug-in.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    An interpreter for the Argh! esoteric programming language in wxHaskell. The program allows one to load, edit, save, validate and run Argh! programs. It currently supports all commands except 'e' and 'E'. Documented using Haddock.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Eve is intended to be a Haskell-derived language with more familiar (Python/Rubyish) syntax. Short term, think of it as a gateway drug to Haskell for Python/Ruby programmers. Long-term, it's intended to be a practical (DB/webapp/GUI-enabled) Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cloud data warehouse to power your data-driven innovation Icon
    Cloud data warehouse to power your data-driven innovation

    BigQuery is a serverless and cost-effective enterprise data warehouse that works across clouds and scales with your data.

    BigQuery 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.
    Try for free
  • 10
    Functional Networked Integrated Environment (FUNNIE) is a networked CSCW programming environment specifically tuned to the needs of students and instructors, based on a subset of Haskell.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Language Prototyping System
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    JHaskell provides a Haskell interpreter and compiler for the JVM. The goal is to make Haskell a viable language for development for the Java platform and also to allow existing Haskell programs to run on the JVM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    HScheme is a Scheme interpreter written in Haskell, available as both interactive interpreter and extension library for other Haskell projects. Think 'Guile for Haskell'.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    A fexpr (unevaluating expression) based Lisp dialect.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next