Search Results for "debian-based linux"

Opam is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow. Opam was created and is maintained by OCamlPro. To get started, checkout the Install and Usage guides. Run ./configure. If you don't have the dependencies installed, this will locally take care of all OCaml dependencies for you (downloading them, unless you used the inclusive archive we provide for each release)....

We are the world’s lightest blockchain, powered by participants. Using zero-knowledge technology, Mina is creating the infrastructure for the secure, democratic future we all deserve. Build on Mina with zkApps, smart contracts powered by zero-knowledge. The SDK, based on Typescript, will be available soon. The Mina blockchain remains ~22kb, enabling users to quickly and directly access the current state from their smartphone and other blockchains. Users today are compelled to hand over their...

Frontman is an open-source AI coding agent that lives inside your running web app. Click any element, describe the change, and Frontman edits the real source files with hot reload. Unlike IDE-only coding tools, Frontman sees the live DOM, component tree, computed CSS, routes, source maps, screenshots, console output, and server logs. That runtime context helps product managers, designers, and frontend teams fix copy, spacing, colors, layout bugs, and internal UI polish without guessing...

BNFGen generates random text based on context-free grammar. You give it a file with your grammar, defined using BNF-like syntax, it gives you a string that follows that grammar. BNFGen is a CLI tool, an OCaml library. There are also official JS bindings available via NPM. Project goals are to make it easy to write and share grammar and give the user total control of and insight into the generation process. BNFGen provides a "DSL" for grammar definitions. It's a familiar BNF-like syntax with...

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

Audio toolkit for streaming, aiming at complex Internet radio systems. Our stream generator is highly extensible and flexible. Script based, it can be a fully automatic daemon streamer, but is also used for live shows with an user-friendly GUI.

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.

WideStudio is an Integrated Development Environment (IDE) for building window applications in C++, Ruby, Python an Perl for Windows, MacOSX, Linux, FreeBSD, SOLARIS and other unix and BTRON and T-Engine. This is open and free (under MIT/X Consortiun Lice

LaTeX editor written in Objective Caml (OCaml) with the GTK+ toolkit. It provides multi-document interface, syntax highlighting, code completion, UTF-8 support, plugins, customizable GUI, regexp-based find and replace and more...

COmbinatory LOgic BOlogna is a framework to test and develop Combinatory Logic based languages. It works, obviously, also for the K,S,I, Combinatory Logic.

VSYML is an automated symbolic simulator for VHDL designs.

The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

OCaml-Reins is a data structure library for O'Caml that includes cursor based iterators, a collection of functors to minimize client-side boilerplate, a powerful on-line benchmarking system and Quickcheck style testing infrastructure.

A software for indexing and searching a samba based files sharing network.

OX is an XML integration into Objective-Caml, providing XML transducers based on pseudo-tree view. This gives a homogeneous view of XML within OCaml code, and lets users to manipulate such terms like any other ones, without constraint.

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

VSGE is a platform-independent, "very simple" game engine based on the SDL and OpenGL libraries. Using unorthodox technologies when appropriate, it strives to make developing non-trivial games simple and fun.

OPath is a physically based rendering system. The renderer takes a scene description written in a simple language describing geometry, materials, lighting and viewing parameters and produces photorealistic, high dynamic range images of the scene.