49 projects for "programming" with 2 filters applied:

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • 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
  • 1
    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: 140 This Week
    Last Update:
    See Project
  • 2
    Armadillo

    Armadillo

    fast C++ library for linear algebra & scientific computing

    * Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads: http://arma.sourceforge.net/download.html * Documentation: http://arma.sourceforge.net/docs.html * Bug reports: http://arma.sourceforge.net/faq.html * Git repo: https://gitlab.com/conradsnicta/armadillo-code
    Leader badge
    Downloads: 2,718 This Week
    Last Update:
    See Project
  • 3
    TX Library

    TX Library

    TX Library is a tiny graphics library for Win32 written in C++.

    TX Library is a tiny graphics library for Win32 written in C++. It is a small sandbox for the very beginners to help them to learn basic programming principles. The documentation is currently in Russian. More info here: http://storage.ded32.net.ru/Lib/TX/TXUpdate/Doc/HTML.ru, http://ded32.net.ru/news/2011-04-03-58, http://ded32.net.ru.
    Leader badge
    Downloads: 40 This Week
    Last Update:
    See Project
  • 4
    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: 95 This Week
    Last Update:
    See Project
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 5
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Downloads: 50 This Week
    Last Update:
    See Project
  • 6
    Batch Compiler

    Batch Compiler

    Complete IDE for Batch files with BAT To EXE Compiler and Debugger.

    ...Unlike other solutions for converting bat to exe, Batch Compiler excels at handling complex batch scripts, thanks to its Intelli-Parse technology and Debugger. Enter a new era of Windows programming with Batch Compiler, featuring a plethora of Advanced Commands tailored for advanced file, mathematical, and logical operations within batch scripts.
    Leader badge
    Downloads: 54 This Week
    Last Update:
    See Project
  • 7
    BMDFM

    BMDFM

    Binary Modular DataFlow Machine (BMDFM)

    Binary Modular DataFlow Machine (BMDFM) is a software package that enables running an application in parallel on shared memory symmetric multiprocessing (SMP) computers using the multiple processors to speed up the execution of single applications. BMDFM automatically identifies and exploits parallelism due to the static and mainly dynamic scheduling of the dataflow instruction sequences derived from the formerly sequential program. The BMDFM dynamic scheduling subsystem performs a...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    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: 12 This Week
    Last Update:
    See Project
  • 9
    DocScript is an approach to document preparation. It presents tools and utilities to edit and publish documents. The philosophy behind the DocScript project is to utilize the programming tools you're working with anyway in your daily work.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Resolve Support Tickets 2x Faster​ Icon
    Resolve Support Tickets 2x Faster​

    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
  • 10
    mhcfs2

    mhcfs2

    engineering programmable calculator

    MhcFS2 - engineering calculator. (v. 1.2) (math expression calculator, scientific calculator, numerical, integral,integration, derivative, root, matrix, differencial, differentiation, equation, LSE,ODE )
    Downloads: 1 This Week
    Last Update:
    See Project
  • 11
    Swiss Army Knife C++ Toolkit is a set of versatile tools for C++ development. It offers to a developer variety of everyday needed tools for programming. Among these tools are configuration files reader, Tokeniser, Singleton template and many more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    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
  • 13
    Pretty Damn Quick (PDQ) analytically solves queueing network models of computer and manufacturing systems, data networks, etc., written in conventional programming languages. Generic or customized reports of predicted performance measures are output.
    Leader badge
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14

    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: 3 This Week
    Last Update:
    See Project
  • 15
    ALEPH-w

    ALEPH-w

    Data structures and Algorithms library

    Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 16
    JWasm

    JWasm

    Japheth's assembler, JWasm

    ...Instructions up to AVX are supported. JWasm is written in C. The source is portable and has successfully been tested with Open Watcom, MS VC, GCC and more. As far as programming for MS Windows is concerned, JWasm can be used with both WinInc (32/64-bit) and Masm32 (32-bit). Since v2.01, it will also work with Sven B. Schreiber's ancient WALK32. C header files can be converted to include files for JWasm with h2incX. JWasm's source code is released under the Sybase Open Watcom Public License, which allows free commercial and non-commercial use. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 17

    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: 10 This Week
    Last Update:
    See Project
  • 18
    cloc (Count Lines Of Code) counts, and computes differences of, comment lines, blank lines, and physical lines of source code in many programming languages. cloc is now being developed at https://github.com/AlDanial/cloc
    Leader badge
    Downloads: 114 This Week
    Last Update:
    See Project
  • 19

    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
  • 20

    dpcm-dt

    DPCM DT automates the development of WSN applications

    ...The toolset can be used both by the application domain experts, which may have limited development skills, and power users that can interact with the toolset flow in different ways to leverage their programming and development proficiency.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    MSPDebug is a free debugger for use with MSP430 MCUs. It supports FET430UIF, eZ430, RF2500 and Olimex MSP-JTAG-TINY programmers. It can be used as a proxy for gdb or as an independent debugger with support for programming, disassembly and reverse eng
    Downloads: 8 This Week
    Last Update:
    See Project
  • 22
    HTML-Pad
    This software enable you to create simple and also complicated webpages using html programming.In this software you can type your html program on the left side and can view the output on the right side.this software also enable you to insert advanced CSS tags and all html tags.you can change your information without modifying your previous html code.you can insert advanced CSS function like Buttons,Text Areas etc. only just filling simple information about it.this software is written in java programming language.this software is very easy to use.download it and try it.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    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
  • 25
    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
  • Previous
  • You're on page 1
  • 2
  • Next