Search Results for "version mac"
Sort By:
Showing 62 open source projects for "version mac"
View related business solutions-
Our Free Plans just got better! | Auth0You 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 security. Auth0 now, thank yourself later.
-
Cloud tools for web scraping and data extractionAutomate web data collection with cloud tools that handle anti-bot measures, browser rendering, and data transformation out of the box. Extract content from any website, push to vector databases for RAG workflows, or pipe directly into your apps via API. Schedule runs, set up webhooks, and connect to your existing stack. Free tier available, then scale as you need to.
-
1
Pandoc
The universal markup converter
Pandoc is a universal document converter able to convert files from a multitude of markup formats into another. With Pandoc, you have a swiss-army knife of a converter, able to convert practically any markup format into any other. Pandoc contains a Haskell library for conversions as well as a command-line tool that uses this library. It can convert to and from just about anything-- lightweight markup formats, HTML formats, documentation formats, ebooks, TeX formats, word processor formats... -
2
Cabal
Upstream development repository for Cabal and cabal-install
Cabal is a system for building and packaging Haskell libraries and programs. It defines a common interface for package authors and distributors to easily build their applications in a portable way. Cabal is part of a larger infrastructure for distributing, organizing, and cataloging Haskell libraries and programs. The term cabal can refer to either: cabal-the-spec (.cabal files), cabal-the-library (code that understands .cabal files), or cabal-the-tool (the cabal-install package which... -
3
nixfmt
The official formatter for Nix code
nixfmt is a code formatter for the Nix expression language, aiming to provide consistent and idiomatic formatting for Nix files. It is written in Haskell and designed to be fast, predictable, and fully automatic with zero configuration. nixfmt helps Nix developers maintain readability and code consistency across large codebases, facilitating collaboration and version control workflows. -
4
hledger
Robust, fast, intuitive plain text accounting tool with CLI
hledger is fast, reliable, free, multicurrency double-entry accounting software that runs on unix, mac, windows, and the web. With it you can track money, investments, cryptocurrencies, time, or any other quantifiable commodity; with a future-proof plain text file format, version control for your changes, and without needing any cloud service or vendor. Developed continuously since 2007, hledger is licensed under GNU GPLv3+, written in Haskell, and thoroughly tested, with $100 bounties for regressions reported. ... -
Skillfully - The future of skills based hiringSkillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
-
5
Haskell Dockerfile Linter
Dockerfile linter, validate inline bash, written in Haskell
A smarter Dockerfile linter that helps you build best practice Docker images. The linter parses the Dockerfile into an AST and performs rules on top of the AST. It stands on the shoulders of ShellCheck to lint the Bash code inside RUN instructions. You can run hadolint locally to lint your Dockerfile. You can download prebuilt binaries for OSX, Windows and Linux from the latest release page. However, if this does not work for you, please fall back to container (Docker), brew or source... -
6
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 be... -
7
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 that... -
8
Gitit
A wiki using HAppS, pandoc, and git
Gitit is a wiki application written in Haskell that uses Happstack for serving and Pandoc for markup conversion. Wiki content and attachments are stored in Git, Darcs, or Mercurial repositories, allowing versioning via VCS or web editing. To run gitit, you'll need git in your system path. (Or darcs or hg, if you're using darcs or mercurial to store the wiki data.) Gitit assumes that the page files (stored in the git repository) are encoded as UTF-8. Even page names may be UTF-8 if the file... -
9
Tidal
Pattern language
Tidal Cycles (or just Tidal for short) is software for making patterns with code, whether live coding music at algoraves or composing in the studio. It includes a simple and flexible notation for rhythmic sequences and an extensive library of patterning functions for combining and transforming them. This allows you to quickly create complex patterns from simple ingredients. By default, sound is made with the featureful SuperDirt synth/sampler, but you can control other synths using Open... -
Automated RMM Tools | RMM SoftwareOut-of-the-box scripts. Around-the-clock monitoring. Unmatched automation capabilities. Start doing more with less and exceed service delivery expectations.
-
10
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, but... -
11
ImplicitCAD
A math-inspired CAD program in haskell. CSG, bevels, and shells
ImplicitCAD is a programmatic CAD program, implemented in Haskell. Unlike traditional CAD programs, programmatic CAD programs use text descriptions of objects, as in programming. Concepts like variables, control structures and abstraction are used, just as in programming. With the explosion of 3D printing, designing 3D objects has become an even more important problem. And it's a complicated one. We need to design complicated objects that precisely interface with each other. And often we... -
12
niv
Easy dependency management for Nix projects
Niv is a tool designed for managing dependencies in Nix projects. It simplifies adding, updating, and removing package sources via a single nix/sources.json file, improving reproducibility and version control in Nix-based workflows. niv simplifies adding and updating dependencies in Nix projects. It uses a single file, nix/sources.json, where it stores the data necessary for fetching and updating the packages. Nix is a very powerful tool for building code and setting up environments. niv... -
13
Lamdu
Lamdu, towards the next generation IDE
Lamdu is a programming language designed to be useful and delightful. This project aims to create a next-generation, live programming environment that radically improves the programming experience. A predictable user interface with rich code completions, without the possibility of syntax errors. Continuous, automatic code formatting without the user needing to deal with formatting. -
14
Rome
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory, etc.
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others. Rome is a tool that allows developers on Apple platforms to use Amazon's S3, Minio, Ceph, other S3-compatible object stores or/and a local folder. The Rome binary is also attached as a zip to each release on the releases page here on GitHub. Suppose you're working a number of frameworks for your project and want to share those with your team. A great way to do so is to use Carthage and have team members point... -
15
Taskell
Command-line Kanban board/task manager with support for Trello boards
Command-line Kanban board/task manager with support for Trello boards and GitHub projects. A CLI kanban board/task manager for Mac and Linux. Per project task lists, vim style key-bindings, stored using Markdown. Clean diffs for easy version control, support for sub-tasks and due dates, Trello board imports, and GitHub project imports. If you’re using a simple two-column “To Do” and “Done” then use the space bar to mark an item as complete while staying in the “To Do” list. ... -
16
Neuron
Future-proof note-taking and publishing based on Zettelkasten
Neuron is a Zettelkasten-based note-taking system and static site generator built in Haskell. It allows users to manage interlinked notes using plain-text Markdown files, which are automatically rendered into a web-based knowledge base. Neuron supports incremental builds, backlinks, and efficient navigation across linked content, making it ideal for personal knowledge management, digital gardens, and wikis. It emphasizes speed, simplicity, and easy version control with Git. -
17
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... -
18
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. -
19
Idris-dev
A Dependently Typed Functional Programming Language
Idris‑dev is the development version of Idris 1, a general-purpose functional programming language featuring full dependent types, designed for writing type-safe programs and proofs within the language itself. It compiles to C and JavaScript (for Node.js and browsers), and supports code generation via substitute backends. This repository represents the latest development version of the language, and may contain bugs that are being actively worked on. For those who wish to use a more stable... -
20
Assorted projects. General-purpose libraries for Python, C++, Scala, bash, and others. Meta-programming tools. System utilities. UI components. Web APIs. Configuration files. Benchmarks. Programming competition entries. And much more.
-
21
Yi
The Haskell-Scriptable Editor
Yi is a flexible and extensible text editor written and configured entirely in Haskell. Designed for power users and Haskell developers, Yi provides Vim and Emacs-style keybindings and is customizable via Haskell code, not configuration files. It supports syntax highlighting, multiple editing modes, and efficient performance through a layered architecture. Yi showcases how editor components can be composed as reusable libraries within Haskell. -
22
Corrode
C to Rust translator
Corrode is an experimental translator that converts C code into Rust, intended to help migrate existing C codebases toward safer Rust idioms. It parses C, maps C types and constructs into Rust equivalents, and generates code that compiles under rustc, introducing unsafe only when necessary. The tool seeks to produce readable Rust that a developer can then refine by hand, rather than a perfect one-to-one mechanical translation. It handles common C features such as pointers, structs, enums,... -
23
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 -
24
Encode Arabic provides tools for encoding and decoding Arabic in Haskell, Python, Perl, or LaTeX. Interprets the ArabTeX notation to generate original orthography or phonetic transcription. Supports Buckwalter and other romanizations. Converts legacy byte encodings into Unicode. http://github.com/otakar-smrz/encode-arabic
-
25
zsh-git-prompt
Informative git prompt for zsh
zsh-git-prompt is a Z shell prompt script that displays rich Git repository information in your shell prompt, such as branch, ahead/behind status, staged changes, conflicts, and more. It enhances developer productivity in version-controlled workflows. There is now a Haskell implementation as well, which can be four to six times faster than the Python one. The reason is not that Haskell is faster in itself (although it is), but that this implementation calls git only once. You may redefine...
