Search Results for "infinity-x"
Sort By:
Showing 20 open source projects for "infinity-x"
View related business solutions-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
Never Get Blocked Again | Enterprise Web ScrapingGet unrestricted access to public web data with our ethically-sourced proxy network. Automated session management and advanced unblocking handle the hard parts. Scale from 1 to 1M requests with zero blocks. Built for developers with ready-to-use APIs, serverless functions, and complete documentation. Used by 20,000+ companies including Fortune 500s. SOC2 and GDPR compliant.
-
1
dhall-haskell
Maintainable configuration files
Maintainable configuration files. Navigate to each package's directory for their respective READMEs. You can download pre-built binaries for Windows, OS X and Linux on the release page. You can then click the "Help" button in the bottom right corner, which will show you a nix-env command that you can run to install the prebuilt executable. You will probably want to use the shared caches hosted at cache.dhall-lang.org and dhall.cachix.org when doing Nix development. This is not required... -
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
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
4
turtle
Shell programming, Haskell style
Turtle is a reimplementation of the Unix command line environment in Haskell so that you can use Haskell as a scripting language or a shell. Think of turtle as coreutils embedded within the Haskell language. The turtle library focuses on being a "better Bash" by providing a typed and light-weight shell scripting experience embedded within the Haskell language. If you have a large shell script that is difficult to maintain, consider translating it to a "turtle script" (i.e. a Haskell script... -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
5
jl
Functional sed for JSON
jl ("JSON lambda") is a tiny functional language for querying and manipulating JSON. -
6
Haste
A GHC-based Haskell to JavaScript compiler
A compiler to generate JavaScript code from Haskell. It even has a website and a mailing list. Seamless, type-safe single program framework for client-server communication. Support for modern web technologies such as WebSockets, WebStorage and Canvas. Simple JavaScript interoperability. Generates small, fast programs. Supports all GHC extensions except Template Haskell. Uses standard Haskell libraries. Cabal integration, simple, one-step build; no need for error prone Rube Goldberg machines... -
7
-
8
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
-
9
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... -
Shift, the browser that merges all of your web apps into one powerful window.Streamline everything you do online when you install Shift and access thousands of apps without leaving your browser. Connect all of your Gmail, Outlook, and Office 365 accounts and manage everything from one centralized window. Build out your Shift browser with apps that integrate seamlessly so you have ultra-fast access to all the tools you use to stream, shop, work, browse, and stay connected. Shift brings it all together.
-
10
-
11
-
12
A wrapper around Gtk+ 2.x for the functional language Haskell featuring full memory management, Unicode awareness and of course the new features of Gtk2.
-
13
Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/
-
14
-
15
A Haskell to Objective-C binding. Allows access to Apple's Cocoa API from the non-strict functional programming language Haskell.
-
16
haIDE is a GUI-based Haskell IDE written in Haskell using gtk. It does not include an editor but instead interfaces with NEdit, vim or GNU emacs.
-
17
xmonad is a tiling window manager for X11. Windows are arranged automatically to tile the screen without gaps or overlap, maximising screen use. Window manager features are accessible from the keyboard: a mouse is optional. The official site is http://xm
-
18
This is an implementation of the famous mastermind game written in the purely functional language Haskell. This is a console version, which have the ability for features to be added on top, such s a GUI, extra features and more...
-
19
-
20
A portable library for manipulating data disks created with the Roland SP-808 Groove Sampler / E-Mix Studio. A command-based shell ("vs2") to provide a user interface on libvs2. Possibly a graphics interface ("gvs2") as well.
- Previous
- You're on page 1
- Next