34 projects for "programming language" with 1 filter applied:

  • Turn traffic into pipeline and prospects into customers Icon
    Turn traffic into pipeline and prospects into customers

    For account executives and sales engineers looking for a solution to manage their insights and sales data

    Docket is an AI-powered sales enablement platform designed to unify go-to-market (GTM) data through its proprietary Sales Knowledge Lake™ and activate it with intelligent AI agents. The platform helps marketing teams increase pipeline generation by 15% by engaging website visitors in human-like conversations and qualifying leads. For sales teams, Docket improves seller efficiency by 33% by providing instant product knowledge, retrieving collateral, and creating personalized documents. Built for GTM teams, Docket integrates with over 100 tools across the revenue tech stack and offers enterprise-grade security with SOC 2 Type II, GDPR, and ISO 27001 compliance. Customers report improved win rates, shorter sales cycles, and dramatically reduced response times. Docket’s scalable, accurate, and fast AI agents deliver reliable answers with confidence scores, empowering teams to close deals faster.
    Learn More
  • Loan management software that makes it easy. Icon
    Loan management software that makes it easy.

    Ideal for lending professionals who are looking for a feature rich loan management system

    Bryt Software is ideal for lending professionals who are looking for a feature rich loan management system that is intuitive and easy to use. We are 100% cloud-based, software as a service. We believe in providing our customers with fair and honest pricing. Our monthly fees are based on your number of users and we have a minimal implementation charge.
    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
    MLton

    MLton

    A whole-program optimizing compiler for Standard ML

    ...MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • 3
    SciTECO

    SciTECO

    Advanced TECO dialect and interactive screen editor based on Scintilla

    SciTECO is an interactive TECO dialect, similar to Video TECO. It also adds features from classic TECO-11, as well as unique new ideas. Project development takes place here: https://git.fmsbw.de/sciteco The download archive is mirrored at Sourceforge, but for nightly builds check out: https://sciteco.fmsbw.de/downloads/nightly/
    Downloads: 3 This Week
    Last Update:
    See Project
  • 4

    ra

    ra is a programming language and machine.

    PLEASE READ THE PLATFORM SPECIFIC INSTRUCTIONS UNDER Files , ALSO FOUND IN README.txt, BEFORE DOWNLOADING!!! ra is a programming language and machine. Programs for ra are built from a small set of primitive control statements and a small set of operations. Although they contain no explicit types they are based on two primitive types, string and number, and a high order type, table. When called with the -d option ra includes commands for starting and stopping program execution and examining program state.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Simplify Purchasing For Your Business Icon
    Simplify Purchasing For Your Business

    Manage what you buy and how you buy it with Order.co, so you have control over your time and money spent.

    Simplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
    Learn More
  • 5

    The ATS PL System

    Unleashing the potentials of types and templates

    The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6

    SRGrass Podbor Cadrov

    Recruitment Expert System in Russian

    ...Expert system provides functionality to support decision-making. This system allows you to make the right choice of candidates, can increase productivity and create a loyal team of employees. The program is written in a language ObjectPascal programming, which is used in the Delphi IDE. Official page https://xn--90abhbolvbbfgb9aje4m.xn--p1ai/%D0%BE%D1%84%D0%B8%D1%81/%D0%BF%D1%80%D0%BE%D1%87%D0%B5%D0%B5/srgrass-uchet-cadrov-%D1%8D%D0%BA%D1%81%D0%BF%D0%B5%D1%80%D1%82%D0%BD%D0%B0%D1%8F-%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%B0-%D0%BF%D0%BE%D0%B4%D0%B1%D0%BE%D1%80%D0%B0-%D0%BA%D0%B0%D0%B4%D1%80%D0%BE%D0%B2.html
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    AlgVar

    Algorithmic Variations

    An educational project aimed at illustrating programming language concepts and implementation techniques in different programming languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8

    Qore Programming Language

    Multithreaded scripting language

    Qore is a scripting language supporting threading and embedded logic, designed for applying a flexible scripting-based approach to enterprise interface development but is also useful as a general purpose language. No more development or releases happen on sourceforge; development has moved to https://github.com/qorelanguage/qore
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    OpenAxiom: Scientific Computation System

    A system for computer algebra and symbolic mathematics

    OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences.
    Downloads: 3 This Week
    Last Update:
    See Project
  • Failed Payment Recovery for Subscription Businesses Icon
    Failed Payment Recovery for Subscription Businesses

    For subscription companies searching for a failed payment recovery solution to grow revenue, and retain customers.

    FlexPay’s innovative platform uses multiple technologies to achieve the highest number of retained customers, resulting in reduced involuntary churn, longer life span after recovery, and higher revenue. Leading brands like LegalZoom, Hooked on Phonics, and ClinicSense trust FlexPay to recover failed payments, reduce churn, and increase customer lifetime value.
    Learn More
  • 10
    BOLT Programming

    BOLT Programming

    The programming language for begginers.

    This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    BatterIDE For Batch

    BatterIDE For Batch

    An ide for batch

    An Integrated development environment for the MS-DOS programming language batch.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    BPT

    BPT

    A set of library for C++, including a script programming language

    BPT (Pentacle Technology's Library in french) is a set of libraries which provide: A TCP scheduler based on select A simple dynamic library loader Parsing tool for INI format CString XOR cipher data DABSIC (Homemade script language) Sequence (Homemade sequence description language) Event callback library over SDL Network event callback library
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    DivIP

    DivIP

    Tool for division IP address and subnet

    .... ------------------------------- You can find SOURCE CODE of DivIP v2.0.0 here: https://app.box.com/s/vv94jrpa5zyzx29z25mj Video tutorial: http://www.youtube.com/watch?v=26l7iLYR3f8 Information about DivIP v2.0.0's project: Programming Language: C# (.NET) Programming Environment: MS Visual Studio 2013 Ultimate .NETFramework's version: 3.5 Operating System: Windows Fonts: Open Sans & MS Sans Serif P/s: + I'm a self-study C# language so may be some elements in project are unnomalized. + Design this project with DPI Scaling 100% (96 DPI). ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    z-utalm

    z-utalm

    Unified Test and Logging layer for multiple programming languages

    Modern software systems and application are commonly written in multiple languages, include scripting engines, and are frequently build on multiple specialized frameworks and middleware for a considerable diversity of runtime environments. The latest influencing update in development paradigm is the application of multicore processors. This projects is aimed to unify the required trace and logging output and integrate into debugging environments. The target is to provide general development,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    nevesim

    NEVESIM is an event-driven neural simulation tool.

    NEVESIM is a software package for event-driven simulation of networks of spiking neurons with a fast simulation core in C++, and a scripting user interface in the Python programming language. It supports simulation of heterogeneous networks with different types of neurons and synapses, and can be easily extended by the user with new neuron and synapse types. To enable heterogeneous networks and extensibility, NEVESIM is designed to decouple the simulation logic of communicating events (spikes) between the neurons at a network level from the implementation of the internal dynamics of individual neurons.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Project in C++ programming language OS: Win32(64) Not cross-platform To work, you need a configuration database (Access document) To work, you need servers (SQL, file) specified in the configuration database
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    A web-based interface for the Hadoop MapReduce framework that simplifies the process of writing and running MapReduce jobs. Aimed at introducing parallelism concepts in introductory computer science courses.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This utility, lingen, implements evolution of native machine code via linear genetic programming. The assembly level code uses a subset of assembly language which manipulates and performs calculations using the floating point unit (FPU) of the CPU.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19

    Kiel University Relation package

    Fast C library for relation algebra using binary decision diagrams.

    Kure is a C library which provides manipulation of relations and operations of relation algebra using a fast implementation using binary decision diagram. It provides a Lua based domain-specific embedded programming language to conveniently manipulate and work with relations. For instance, given relations R, S, the tupling of them can be computed using [R,S] and they can be composed using R*S.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Learn Brazilian Portuguese

    Learn Brazilian Portuguese

    Software for Brazilian Portuguese learning

    LBP, or Learn Brazilian Portuguese, is a software for brazilian portuguese language learning. You can download lessons to put easily in your LBP (see Using), and learn with words, voices and images. LBP is also a free and open-source application. Yes, that's means his price is zero. And more: if you know programming, you can also help us on coding this tool.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21

    Lispel

    Functional programming in natural language

    Lispel is a typed, mainly functional programming language with a inheritance-based object/type model. It is modelled after natural language and has a front-end for a restricted subset of German language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Framework written in C language using OO concepts. Pretty similar to Java. This is gonna change your way of programming in C. Feel free to contact me at juanrb@hotmail.com.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    eAda
    Ada-engine, more commonly known as eAda, is a MMORPG engine, with which you can make your own game. It is created in Ada 2005, a fast, strongly typed programming language... [continued at project homepage]
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    LuaDist
    LuaDist is a CMake built module distribution and deployment tool for the Lua programming language. It aims to achieve zero configuration runtime environment for Lua modules and libraries be it source or binary.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    A collection of tools for the SETL Programming Language, including a LALR parser generator and lexical scanner generator.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB