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
Grafana: The open and composable observability platform
Faster answers, predictable costs, and no lock-in built by the team helping to make observability accessible to anyone.
Grafana is the open source analytics & monitoring solution for every database.
Adam is a programming language that is truely visual. There is a person named Adam who walks around in a 3D environment to show the execution of a program. A program is a description of the sequence of actions Adam must perform on the objects in a
The aim of the project is to provide short description of many programming languages, dialects, IDEs, etc. with sample programs (realizations of common algorithms like 'hello, world', 'dot product', 'quine program').
Sand is a programming language. It is designed to be extremely portable and dynamic, with nearly all functionality implemented as add-on modules. It is also designed to be both pleasant for humans to program as well as aggressively optimized.
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.
SXML is a GNU program that allow to easily manipulate XML sources without worrying about DTDs, Schemas, XSLT and so on. It is implemented in PERL and supports Guile as embedded language for programming it. It is very useful to admin tasks and as an interm
A suite of utilities meant for use when programming in general C/C++. It includes a stat program, an "insert" management program, syntax highlighter, code generators, a library of system-independent header files, and many more, just to name a few.
A refactoring tool for the Java programming language, it includes the JavaStyle pretty printer, a UML java class diagram viewer, a coding standards checker and computes program metrics. Plugins for jEdit, Netbeans, JBuilder and other IDEs available.
sCal: a small, scientific, script programmable calculator--for & in JavaScript. sCal2: an expansion giving a function/program catalog system with: hundreds of unit-conversions & material properties, programming examples, nearly limitless user-procedures
PATH is a unique two-dimensional programming language. Unlike conventional programming languages, which read a program in a left-to-right, top-to-bottom fashion, PATH programs can go up, down, left, and right, and change directions at will.
Landlords, multi-family homes, manufactured home communities, single family homes, associations, commercial properties and mixed portfolios.
Rent Manager is award-winning property management software built for residential, commercial, and short-term-stay portfolios of any size. The program’s fully customizable features include a double-entry accounting system, maintenance management/scheduling, marketing integration, mobile applications, more than 450 insightful reports, and an API that integrates with the best PropTech providers on the market.
Syn is highly customizable text and programming editor. Syn features syntax highlighting for many languages, active scripting, macro recording, the ability to launch a program (e.g. a Compiler) and capture the output, support for projects, etc.
AdaPackageTesting is a tool for developers using the Ada95 programming language. With him, it's very fast to create the structure of a test program based of the package specifications (.ads).
Pinf provide an easy and complete method to embed documentation into source code. It borrows concepts from literate programming while considering ASCII source files readibility as a top priority.
Language independent & typesetter independent.
The program emulates a MIX machine (introduced by Knuth in his books "The Art of Computer Programming").
- MIX Assembly Language (MIXAL) parser that converts the MIXAL code to MIX machine code
- a MIX interpreter which executes MIX machine code
GNU PIC LIBRARY PROJECT
The interest of this project is to develop a set of Libraries that are released in LGPL License to use to PIC microcontroler programming.
Then any program resulted by this use would be a proprietary or free softwares.
This program allows creating client-server database applications with less programming effort. Based on a definition file, the user can browse, search, and update tables through forms. Logic can be coded on a simple scripting language.
The project's aim is to build automated programming language translation system that will port program sources written in one language to other programming language(s).
DMACS: a feature-rich debugger that can be potentially used with any C++ program on any platform. Designed with game programming in mind, it supports logging, an enhanced assert macro, state saving and loading, stack-watching, and more.
Bu proje beraber program kodlari yazmak icin ve beraber programlama tekniklerini ogrenmek icin acilmistir.
this project is opened to write program kods altogether and to learn many things about programming techniques
The zaubertrank is a programming system based on natural language, not parsed, but assembled from given statements. It aims to be easily accessible for non-programmers as well as useful for developers. The idea is to demystify program code.
A choreography programming language for concurrent systems
Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography.
This project targets the SPU of the Cell/BE Processor. This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.
PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.
Pinnus is a project management tool for Extremme Programming. The program offers
options to control stories, iterations and participates of a project.
It is based on Eclipse Rich Client Platform and uses HSQLDB database .
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.
...