Showing 63 open source projects for "dev-c"

View related business solutions
  • All Things Performance and Partner Marketing, All in One Place Icon
    All Things Performance and Partner Marketing, All in One Place

    Track calls, leads, and clicks without the manual work

    Automatically tie revenue back to campaigns, channels, publishers, and networks through marketing attribution. Spend less time juggling reports, and more time optimizing for growth by using a single operating solution for partner and performance marketing.
    Learn More
  • The AI coach for teams, built on validated assessments. Icon
    The AI coach for teams, built on validated assessments.

    Cloverleaf is an assessment-backed AI Coach that fully understands your people and the context of their workday.

    Give managers and teams proactive, contextual coaching to lead effectively, communicate clearly, and navigate real work situations as they happen.
    Learn More
  • 1
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 246 This Week
    Last Update:
    See Project
  • 2
    ConceptBase.cc

    ConceptBase.cc

    A Database System for Metamodeling and Method Engineering

    ConceptBase.cc is a multi-user deductive and object-oriented database system for metamodeling and method engineering. Includes a graphical client that builds upon the logic-based features of the ConceptBase.cc server. The data model is O-Telos. ConceptBase.cc can represent information at the data level (example data, traces of process executions etc.), the class level (schemas, process definitions etc.), the metaclass level (constructs of modeling languages), the meta-metaclass level...
    Leader badge
    Downloads: 35 This Week
    Last Update:
    See Project
  • 3
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 14 This Week
    Last Update:
    See Project
  • 4
    Linguistic Tree Constructor

    Linguistic Tree Constructor

    Syntax tree editor for rapid annotation of existing text

    Linguistic Tree Constructor (LTC) is a tool for drawing lingusitic syntax trees of already-existing text. It is a syntax editor, not a text editor, so the text has to exist already. It is best suited for large-scale, rapid creation of hand-annotated treebanks. The user can define their own node categories, and can label each node with labels, also definable by the user. LTC supports "generic", X-Bar and RRG trees. Supports interlinear texts in SIL SFM format.
    Downloads: 11 This Week
    Last Update:
    See Project
  • The #1 solution for profitable resource management Icon
    The #1 solution for profitable resource management

    Designed to give Operations and Finance leaders the insight and foresight they need to achieve profitable delivery at scale.

    Unlike spreadsheets or clunky PSAs, Float offers a clear, centralized view to schedule teams, plan capacity, estimate work, and track margins in real-time so that you can keep your people and profits on track.
    Learn More
  • 5
    EulerSharp

    EulerSharp

    Euler Yet another proof Engine

    EYE [1] is a reasoning engine supporting the Semantic Web layers [2]. It performs controlled chaining and it supports Euler paths [3]. Via N3 [4] it is interoperable with Cwm [5]. [1] http://eulersharp.sourceforge.net/README [2] http://www.w3.org/DesignIssues/diagrams/sweb-stack/2006a [3] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html [4] http://www.w3.org/TeamSubmission/n3/ [5] http://www.w3.org/2000/10/swap/doc/cwm
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    AminePlatform

    AminePlatform

    Amine is a Multi-Layer Platform for the dev. of Intelligent Systems

    Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine...
    Leader badge
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 2 This Week
    Last Update:
    See Project
  • 8

    pltc

    Prolog to C compiler with runtime for DOS, Windows and Raspbian

    Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi)
    Downloads: 2 This Week
    Last Update:
    See Project
  • 9
    medSLT - The Medical Speech Translator
    Downloads: 0 This Week
    Last Update:
    See Project
  • End-To-End Document Management Software Icon
    End-To-End Document Management Software

    UnForm is ideal for businesses focusing on distribution, manufacturing ERP solutions, and general accounting.

    UnForm® is a platform-independent software product that creates, delivers, stores and retrieves graphically enhanced documents from ERP application printing. A complete, end-to-end document management solution, UnForm interfaces at the point of printing to produce documents in various formats for printing and electronic delivery.
    Learn More
  • 10
    WumpusWorld-CSharp

    WumpusWorld-CSharp

    A Wumpus World in c# and prolog with a GUI

    Wumpus World Game is based on knowledgebase agents and is described in the book , Artificial Intelligence : A Modern Approach (Russel - Norvig). This is an implementation of Wumpus World (a Knowledgebase agent game) using csharp alongside prolog with a GUI. C# has the main environment of the game and the GUI The GUI was created using WPF , Windows Presentation Foundation Prolog is used as the knowledgebase of the agent of Wumpus World In order for C# to communicate with Prolog a Csharp interface is used SWI-Prolog. Author: Abdulrahman Zakrt Date: Jan.02, 2018 Requirements This implementation of Wumpus World uses prolog and is based on Dotnet and requires the following: 64 bit windows machine , Currently the game only supports 64 bit machines SWIPL(v6.6.6) 64 bit (Installed automatically by the game if not available) Latest Version of DotNet (Installed automatically by windows) How to Use In order to use the GUI only you can use the setup.exe in the SetupFiles.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11

    Card Raytracer Benchmark

    Short C++/Java/C#/Python benchmark

    This is a short C++/Java/C#/Python benchmark. Based on Paul Heckbert's sources. Thank you Paul!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    C#Prolog

    C#Prolog -- A Prolog interpreter written in managed C#

    C#Prolog -- A Prolog interpreter written in C#. Can easily be integrated in C# programs. Characteristics: reliable and fairly fast interpreter, command line interface, Windows-interface, builtin DCG, XML- and JSON-predicates, SQL-predicates, extendible.
    Leader badge
    Downloads: 37 This Week
    Last Update:
    See Project
  • 13
    CIOS Audio Core

    CIOS Audio Core

    A cross platform audio inteface

    CIOS Audio Core is the infrastructure and subsystem in Collective Intelligence Operation System. It is a cross platforms audio abstract interface, supports including Mac OS X, Linux, Android, iPhone OS and Windows 7.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Yes, finally. The author decide to schedule some of his busy time to release the "Chinese Language Formula"- Step By Step. It will take a while, but eventually Chinese Language Processing is no longer a problem.
    Downloads: 8 This Week
    Last Update:
    See Project
  • 15
    droite is a correction of eS expression parsers implemented in many different programming languages. Its usefulness is the same as JSON but droite utilizes eS expression, a Gauche scheme interpreter friendly S expression variant.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Galliwasp

    Galliwasp

    Goal-directed answer-set programming

    Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    linux-Adequate

    linux-Adequate

    (download) Linux Adequate"available approximately five days"

    linux Adequate Elite (based on):/ debian and "most other distro which based on debian" ****************************************************** (alot of apps in):/ "graphics, multimedia, games, internet, office, science&math, crossover, wine, utilities,development,system,education" ****************************************************** (interfacses):/ "gnome 3, gnome classic, gnome (no effects), kde plasma workspace, kde plasma (safe session), metacity, unity 3d,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    ProLogic

    Prolog wrapper for BWAPI

    Enables Prolog developers to create AI modules for StarCraft BroodWar by wrapping the BWAPI functions in Prolog predicates. For more information refer to the Project Wiki.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Flipper is a program that does randomised local search for satisfiability of 3 variable prenex sentences in the pure predicate calculus. It does so by proving satisfiability relative to given decidable theories.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    A program for word-by-word translation (glossing) of texts between languages. Currently there is a web interface for glossing passages in Tolkien's Elvish (specifically, Quenya) into English.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    This project aims to be a easy-to-use toolkit of algorithms and utilities for semantic data mining. So far all algorithms are implemented as web services and we provide widgets for their use in the Orange4WS data mining platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    PyCDep is a tool to analyze include dependencies between files in C and C++ programs. PyCDep itself is written in python. It dumps all the facts in a prolog database which can be queried. Visualization is possible by dumping graphviz (.dot) files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    XGP is an integrated development environment that extends GNU Prolog to work with Cocoa under Macintosh OS X. It provides user interface and graphics facilities largely compatible with MacProlog32 by LPA. Requires Mac OS X version 10.2.1 or greater.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 25
    DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledge base is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • 3
  • Next
MongoDB Logo MongoDB