• 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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB 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.
    Start Free
  • 1
    KAREL 3D WebGL

    KAREL 3D WebGL

    Children's learning programming language Karel the Robot in 3D

    KAREL 3D written in JavaScript with WebGL is a children's programming language for teaching algorithms. This is later variant from Karel the Robot in 3D, created in 1986 for 8bit microcomputer PMD 85-2. Support full recursion, create new commands, complex commands with condition from dialog and direct control with keys, language translation. Objects: brick, wall, mark, fence. Check out the Wiki (here) for more examples and pictures. Include ZIP with original historical manuals in Slovak language from years 1987 - 1990 Writen in HTML for fast universal use, including JavaScript code with Three engine. After download and unzip, runable (run html file) without installation in internet browser. Tested in EDGE and Chrome. Version without WebGL, and just as one file (+ include examples in text file): https://sourceforge.net/projects/karel-3d/ C++ version: https://sourceforge.net/projects/karel-3d-cpp/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Kadet is a multi-purpose server written in C. It is highly extensible, well written, equipped with a great set of libraries including scripting, persistent database, object memory management, etc. It's very easy to develop.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Kaffe/eCos is an open source Java implementation for embedded systems. Kaffe/eCos is based on two excellent open source projects, kaffe and eCos. Our objective for porting kaffe to eCos is to provide open source developing environments for embedded syste
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. Other Projects and pages of the team's members: www.settlers-android-clone.com (by Andreas Eberle and Michael Zangl) www.andreas-eberle.com
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    Kanaputs is an interpreter for Java. With Kanaputs you can use Java in an interpreted way: no more compilation, each instruction is executed when you write it. It's extremely easy to use to make script files above Java. www.kanaputs.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    Kaptain is a universal graphical front-end for command line programs. Grammar scripts describe the possible parameters for command lines and Kaptain brings up a user friendly dialog for that. Package contains front-ends for Enscript, Indent, Procmail
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Kath is a simple high level language aimed towards scientific/engineering/general use applications. A minimum amount of constructs support classes/functions/generics. Its easy to learn, use & read. The compiler Komp produces bytecode for a virtual machine
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Kawa is a full Scheme implementation. It implements almost all of R5RS (for exceptions see Restrictions), plus some extensions.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    Kayacc

    A Compiler Development Toolkit

    Kayacc is an alternate name for the TOMBO project. I am in the process of updating the Tombo project page with version 2.1.0. Please download Tombo2.1.0.tar.gz from the Files tab. Tombo is a compiler generation toolkit for constructing compilers and interpreters. It includes a BNF compiler that generates parsers for context free grammars, and a class library to support compiler development. The class library supports symbol tables, Unicode text manipulation, reserved word mappings, and translating between Unicode and byte oriented encodings. Tombo is an alternative for lex, yacc and Bison tools. Source can be browsed in git/code repository or src directory. Send e-mail to tombo@gekkoware.com for support
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    Kenshira es un sistema Web para crear una comunidad de usuarios que pueda jugar y crear aventuras conversacionales. Incluye un lenguage propio llamado OgnlScript, un compilador, un interprete y un editor de codigo fuente en Html.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.). This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Kew is a small and simple programming object-oriented language that offers as many advanced features as possible, including reflection, powerful collections and streams APIs, closure-forming blocks, a full security model, a packaging system and more.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    The goal is to provide a java-based application which runs key-generation and patching "scripts". This application would act as a gatekeeper to prevent key-generators or patchers from silently installing malware, trojans, viruses, etc.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    An esoteric programming language whose compiler and virtual machine were made for learning purpose.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Everything is XML - Everything is possible - Keep it simple
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Lengo la mradi huu ni kuweka tafsiri za Kiswahili kwenye programu mbalimbali za kompyuta, na kuwa na listi ya maneno ya kikompyuta yatakayotumiwa pia na wafasiri wengine wa softiwea na programu mbalimbali za kompyuta.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    KiwiBasic is BASIC interpreter for Mac OS X. It is implemented base on KiwiEngine framework.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Kiwi Engine is framework contains intermediate representation & executor to implement interprete. It is designed for Mac OS X.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Klang is a stack-based, post-fix calculator language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Kopio is a PC/Windows scripting language to extract and process data from and to various sources, such as SQL database and Excel, so as to simplify data management programming and enable quick prototyping or application development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Kreatrix is dynamic prototype based object orientated language. It has been inspirated by Io and Self. The syntax is similar to Smalltalk. It has small VM with modules (like Python). Some modules bind external library, for example: GTK+ and SDL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A dynamic object oriented language. Based on Java.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    KuirK is DOS Site2exe / php2exe compiler. Kuirk can create win32 stand alone web applications with an embedded web serversite (apache/php/mysql) packed into one EXE file. You can use Kuirk packages on CD and DVD.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    L Sharp .NET is a powerful lisp-based scripting language for .NET. It uses a Lisp dialect similar to Arc but tightly integrates with the .NET Framework which provides a rich set of libraries. For more info see www.lsharp.org
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Trying to implement a lispy scripting language on top of Java in a minimalistic way: as small as possible but with a solid language design thats borrowed from common lisp.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB