Search Results for "open source web application"

magic-trace is a high-resolution performance tracing tool developed to analyze and visualize the execution of programs at a very detailed level using hardware tracing capabilities. It leverages technologies such as Intel Processor Trace to capture precise information about how a program executes over time, including function calls and instruction flow. The tool is designed for performance debugging, allowing developers to identify bottlenecks, inefficiencies, and unexpected behavior in...

Static analysis at ludicrous speed. Find bugs and enforce code standards. Find and prevent security issues in Terraform, Docker, Kubernetes, nginx, and AWS configs before they go into production. Go beyond application code and protect the entire stack with a breadth of scanning capabilities. Don't leak secrets, scan every commit and ensure secrets don't make it to production. Protect the privileged CI/CD environment from malicious activity that could result in access to source code, secrets,...

Dream is an easy-to-use, boilerplate-free Web framework, whose entire API fits on this page! It supports TLS, WebSockets, and GraphQL. HTTP/2 support is transparent. A nice log and OCaml runtime configuration. Easy-to-use, secure helpers for round-tripping cookies and forms. Templates that interleave OCaml with already-familiar HTML. A fully composable router. Session management with pluggable back ends; and unified error handling that leaks no English strings from any level of your app. You...

Irmin is an OCaml library for building mergeable, branchable distributed data stores. A distributed database built on the same principles as Git. Backup and restore your data at any point in time. You can use Irmin on top of your own storage layer. Automatic (de)serialization for custom data types. Runs anywhere from Linux to web browsers and Xen unikernels. Bi-directional compatibility with the Git on-disk format. Irmin state can be inspected and modified using the Git command-line tool....

google-drive-ocamlfuse is a FUSE-based file system for Google Drive, written in OCaml. It lets you mount your Google Drive on Linux. The project is hosted on GitHub, where you can find the latest development version. Project documentation is hosted in the website. There are Ubuntu packages in this PPA. Read-only access to Google Docs, Sheets, and Slides (exported to configurable formats). Read-ahead buffers when streaming. Accessing content shared with you (requires configuration). Team...

The project is to develop an application for the general management of virtual networks with Dynamips, VirtualBox, PixEmulator, UML, Zebra, etc.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

MLDonkey is a multi-platform multi-network peer-to-peer client.

The ODT (OCaml Development Tools) project aims to be like the JDT (Java Development Tools) eclipse plugins. It provides IDE features for OCaml application developments. See more on http://ocamldt.free.fr (tutorial, installation notes and more).

Boxman (Also called Sokoban Pushbox) is a transport puzzle in witch the player pushed boxes around a maze, viewed from above, and tries to put them in designated location. Only one box may be pushed at a time, and boxes cannot be pulled. This Game is coded in Caml language, So to try it, you need to compile it first with Camllight.

Starting from various input files, we parse to find a list of addresses, then display them on a map.

POESIA= Public Opensource Environment for a Safer Internet Access an opensource Internet content filter (multimodal, mulitlingual) aimed for protection of youth (in schools...); partly funded by the European Commission

A collection of Objective Caml libraries to support the development of concurrent, single-threaded Internet application servers.

A collection of modules for the Objective Caml language which focus on application-level Internet protocols and conventions

The Virtual Laboratory for Earth and Planetary Materials (VLab) collaborative GRID-based environment. Concentrating on scientific computation workflows and auto-generation of visualization services. http://vlab.msi.umn.edu

Create the php code for flexible database access screens. This can be used to build a complete frontend to a project.

Ex-nunc is a web application framework written in OCaml. Its main purpose is to bring the benefits of statically typed languages to the web application domain.

CamlGI is a web framework build on top of OCamlNet2.

Data Structure Tester is an OCaml application for multiple testing of various data structures (also written in other lanages, like C or C++).It proviedes many examples to test, easily configurable tester and signatures for all data structers to be tested.

WDialog is a system to make dialog-centric web applications. It imitates the behaviour of widgets found in GUIs, but acts in a HTML/HTTP environment. There is a UI language (XML), but callbacks are coded in a normal programming language (O'Caml, Perl)

This is a multi platform network render queue manager for Lightwave 8 accessible through a web browser

Here we have fun developing software related to embedded extension languages and small languages in many application domains, using existing languages and/or creating new ones.

Objective Caml Ultimate Lisp is a Lisp dialect implemented in OCaml. It performs many features, such as lazy evaluation, and both static and dynamic linkage, partial application of functions, tail-recursivity ...

This project aims to develop a new high-dynamic engine (codebase) for MUD's. We're not going to use any of existing codebases writing everybit from scratch. Ppl with knowledge of any programming language at any level are welcome.