Search Results for "type"
Sort By:
Showing 26 open source projects for "type"
View related business solutions-
Our Free Plans just got better! | Auth0 by OktaYou 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 secuirty. Auth0 now, thank yourself later.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
pandoc-crossref filter
Pandoc filter for cross-references
pandoc-crossref is a pandoc filter for numbering figures, equations, tables and cross-references to them. The input file (like demo.md) can be converted into HTML, LaTeX, PDF, Markdown or other formats. Optionally, you can use cleveref for LaTeX/PDF output, e.g. cleveref PDF, cleveref LaTeX, and listings package, e.g. listings PDF, listings LaTeX. This package tries to use LaTeX labels and references if output type is LaTeX. It also tries to supplement rudimentary LaTeX configuration... -
2
Obelisk
Functional reactive web and mobile applications, with batteries
..., and Android, all sharing the same Haskell codebase! Obelisk's development environment also enables extremely rapid development and feedback. You can take advantage of Haskell's type system across the frontend and backend boundary. This means changes to your backend that would break your frontend are immediately detected during development and vice versa. Obelisk uses Haskell's compiler to give you a complete "TODO list" of what needs to be updated. -
3
IHP
The fastest way to build type safe web apps
... of the box. IHP is a batteries-included web framework, optimized for longterm productivity and programmer happiness. With IHP all your application code is written in Haskell - a functional programming language with an incredible type system, used by giants such as GitHub and Facebook. Thanks to Haskell's impressive type system you can write code that is far more robust than you have seen before. -
4
Beam
A type-safe, non-TH Haskell SQL library and ORM
Beam is a Haskell interface to relational databases. Beam uses the Haskell type system to verify that queries are type-safe before sending them to the database server. Queries are written in a straightforward, natural monadic syntax. Combinators are provided for all standard SQL92 features, and a significant subset of SQL99, SQL2003, and SQL2008 features. Beam is standards-compliant but not naive. We recognize that different database backends provide different guarantees, syntaxes... -
Easy management of simple and complex projectsPlan more projects with Worksection. Use Gantt chart and Kanban boards to organize your projects, get your team onboard and assign tasks and due dates.
-
5
miso
A tasty Haskell front-end framework
Miso is a small, production-ready, "isomorphic" Haskell front-end framework for quickly building highly interactive single-page web applications. It features a virtual-dom, recursive diffing / patching algorithm, attribute and property normalization, event delegation, event batching, SVG, Server-sent events, Websockets, type-safe servant-style routing and an extensible Subscription-based subsystem. Inspired by Elm, Redux and Bobril. Miso is pure by default, but side effects (like XHR) can... -
6
koka
Koka language compiler and interpreter
Koka is a strongly typed functional-style language with effect types and handlers. The core of Koka consists of a small set of well-studied language features, like first-class functions, a polymorphic type- and effect system, algebraic data types, and effect handlers. Each of these is composable and avoid the addition of “special” extensions by being as general as possible. Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished... -
7
optparse-applicative
Applicative option parser
optparse-applicative is a haskell library for parsing options on the command line, and providing a powerful applicative interface for composing them. optparse-applicative takes care of reading and validating the arguments passed to the command line, handling and reporting errors, generating a usage line, a comprehensive help screen, and enabling context-sensitive bash, zsh, and fish completions. A value of type Parser a represents a specification for a set of options, which will yield a value... -
8
hindent
Haskell pretty printer
... servant which use long-type aliases. Using extensions, hindent can be made aware of valid syntactic compiler extensions that would normally be considered invalid syntax. The 'formatprg' option lets you use an external program (like hindent) to format your text. Note that unlike in emacs you have to take care of selecting a sensible buffer region as input to hindent yourself. If that is too much trouble you can try vim-textobj-haskell which provides a text object for top-level bindings. -
9
The Futhark Programming Language
A data-parallel functional programming language
... supports regular nested data-parallelism, as well as a form of imperative-style in-place modification of arrays, while still preserving the purity of the language via the use of a uniqueness type system. While the Futhark language and compiler is an ongoing research project, it is quite usable for real programming and can compile nontrivial programs which then run on real machines at high speed. -
ConnectWise Cybersecurity Management for MSPsConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
-
10
Elm
Compiler for Elm, a functional language for reliable webapps
Elm uses type inference to detect corner cases and give friendly hints. NoRedInk switched to Elm about four years ago, and 300k+ lines later, they still have not had to scramble to fix a confusing runtime exception in production. The compiler guides you safely through your changes, ensuring confidence even through the most wide-reaching refactorings in unfamiliar codebases. Including your own, six months later. All Elm programs are written in the same pattern, eliminating doubt and lengthy... -
11
purescript
A strongly-typed language that compiles to JavaScript
Compile to readable JavaScript and reuse existing JavaScript code easily. An extensive collection of libraries for development of web applications, web servers, apps and more. Excellent tooling and editor support with instant rebuilds. An active community with many learning resources. Build real-world applications using functional techniques and expressive types, such as: Algebraic data types and pattern matching. Row polymorphism and extensible records. Higher kinded types and type classes... -
12
Fission ipfs
Fission CLI & server
Seamlessly deploy websites and store secure user data. Fission is built inside of a pure Nix shell via the Stack integration. This means that you should only need to type stack build to do a complete build of all packages. If you're using a nix shell, you can use cachix to prevent re-building dependencies. -
13
Accelerate
Embedded language for high-performance array computations
... architectures including multicore CPUs and GPUs. Embedded in the advanced functional programming language Haskell, Accelerate programs are declarative, statically-typed, pure, functional, and ready to exploit all of the performance of modern parallel hardware. The combination of a strong type system, high-level code, and interactive development environment, allows you to develop code quickly with the confidence that it is correct. -
14
Haskell IDE Engine (HIE)
The engine for haskell ide-integration. Not an IDE
... apply-refact. Type information and documentation(via haddock) on hover. Jump to definition. -
15
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... -
16
Eta
The Eta Programming Language, a dialect of Haskell on the JVM
... interoperate with Java. Eta has global type inference, giving you a dynamic language experience, but with a strong typing hidden underneath. Eta offers a wide range of strategies for handling concurrency including Software Transaction Memory (STM), MVars, and Fibers. Using the powerful and type-safe Servant web framework, we define our API as a type and the handler types for each endpoint are automatically generated and conversions happen automatically. -
17
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... -
18
Spock
Another Haskell web framework for rapid development
Kickstart your next Haskell web application within seconds using Spock. Another Haskell web framework for rapid development. Spock is a lightweight Haskell web framework inspired by Ruby's Sinatra. It provides a full toolbox including everything to get a quick start into web programming using Haskell. Spock provides fast route dispatching in a type-safe environment. Built-in support for cookies, secure sessions and CSRF protection. Applications supported by Spock are easily deployed using stack... -
19
bignum is a Miranda library and BigFloat a Haskell type for dealing with infinite-precision values with all arithmetic and scientific functions. Unlike most long-precision calculation systems, it guarantees that every digit it returns is correct.
-
20
Creep
a pretty sweet 4px wide pixel font
... of the basic box drawing characters implemented. Therefore creep usually works with most ncurses-type programs or with tmux window-splitting for example. Creep supports all the symbols needed for Lokaltog's awesome powerline plugin for vim. Creep has the necessary symbols for creating sparklines. This is cool for tools like rainbarf and others. I've added support for a better-looking Haskell syntax. Take a look at the Haskell wiki page to get an idea of how it looks and how to use it in vim. -
21
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. -
22
-
23
Kaya: A statically typed, imperative cross-platform programming language with type inference, powerful data description capabilities and built-in abstractions and libraries for easy and robust web application development. http://kayalang.org/
-
24
The Grammatical Framework (GF) is a grammar formalism based on type theory. It consists of a special-purpose programming language, a compiler of the language, and a generic grammar processor.
-
25