Search Results for "advanced strategic command"
Sort By:
Showing 13 open source projects for "advanced strategic command"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
A state-of-the-art cloud-based classroom management solution that provides educators with the tools to facilitate efficient collaborative distance learning in or outside the classroom. Share your screen, video camera and whiteboard in lecturer mode or group collaboration, remotely monitor and assist students in real-time. Streamline the learning experience and keep your finger on the classroom pulse.
-
1
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
2
alphabit.org
Public files of alphabit.org domain
for now used as testing platform to get acquainted with git. eventually will contain source files and examples on the usage and customization of the code crafting tools being developed at alphabit.org domain... 1 . web server (nodejs), to share bits our way... the highway was too dangerous and inadequate. 2. window manager (xmonad), to enjoy work... as we are at it. 3. yet another new programming language (javascript), it does not yet exists and we would like to try it. more... -
3
ElixirFM
Functional Arabic Morphology
ElixirFM is a high-level implementation of Functional Arabic Morphology. The core of ElixirFM is written in Haskell, while interfaces in Python and Perl support lexicon editing and other interactions. http://github.com/otakar-smrz/elixir-fm -
4
-
We’re confident you’ll agree that our labor union software is truly the easiest, most efficient, and customizable way to organize all of your union workforce management needs. In addition to making workflow easier, you’ll find that with our labor union software your organization will become more in tune with your members, contractors, and their surrounding communities.
-
5
PortFusion
Distributed reverse / forward proxy and tunneling solution for TCP.
PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy for TCP written in Haskell + LLVM and released under GPLv3. A single package that makes the most of each platform by tapping into their unique capabilities, combining this power with an intuitive interface, beautiful design and Haskell's excellent support for unprecedented levels of concurrency and parallelism. It strives for the smallest source code size (< 500 lines) while delivering... -
6
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration. -
7
-
8
simgi is a simulation engine for stochastic simulations of reactive systems using Gillespie's method written in Haskell.
-
9
-
Powerful and versatile communications platform with automations and integrations made simple. So simple, you’ll have time for the other parts of your business.
-
10
FreeArc combines best 7-zip and RAR features: auto-selected LZMA/PPMD/Multimedia compression, 1gb dictionary, exe/dict/delta data filters, updatable solid archives, SFXes, recovery record, AES+Twofish+Serpent encryption, Linux support and much more...
-
11
A programming language designed for searching and manipulating tree-structured data, particularly corpora of natural languages encoded in an s-expression-like format.
-
12
DebToo - Debian powered from source. Portage-like configurability brought into Debian with the goodies known to Gentoo users: USE flags, optimised packages, hand picked patches, fine grained tweaking performance, inherted configurations.
-
13
ZhDict provides command-line tools to aid English speakers in reading and understanding Chinese texts.
- Previous
- You're on page 1
- Next