Tarides (tarides)

Tarides

tarides

Geek Repo

Building Functional Systems

Location:France

Home Page:https://tarides.com

Github PK Tool:Github PK Tool

Tarides's repositories

opam-monorepo

Assemble dune workspaces to build your project and its dependencies as a whole

Language:OCamlLicense:ISCStargazers:130Issues:15Issues:123

dune-release

Streamlining the release of dune packages to opam

Language:OCamlLicense:ISCStargazers:111Issues:10Issues:213

ocaml-platform-installer

The best way for developers to write software in OCaml

Language:OCamlLicense:ISCStargazers:60Issues:14Issues:77

ocaml-jit

Just In Time compiler for OCaml native toplevel

Language:OCamlLicense:ISCStargazers:54Issues:10Issues:4

river

A planet (feed aggregator) for OCaml.

Language:OCamlLicense:ISCStargazers:26Issues:8Issues:9

notafs

Not a filesystem for Mirage block devices

Language:OCamlLicense:ISCStargazers:22Issues:5Issues:12

okra

OKR report aggregation tool

Language:OCamlLicense:MITStargazers:22Issues:28Issues:72

hackocaml

OCaml hacking ideas, small and large.

changelog-check-action

Checks whether a change in a PR comes with an accompanying Changelog entry

pr-number-action

GitHub action that posts suggestions to substitute the correct PR number

current-albatross-deployer

Ocurrent plugin for deploying mirage unikernels using albatross, monitor them, manage IPs and port forwarding

Language:OCamlLicense:ISCStargazers:10Issues:4Issues:3
Language:OCamlLicense:MITStargazers:10Issues:5Issues:0

irmin-bookmarks

Firefox extension to store bookmarks in a git repository using Irmin

Language:OCamlStargazers:9Issues:2Issues:0

cstlib

A Concrete Syntax Tree for ocaml

Language:OCamlLicense:MITStargazers:7Issues:8Issues:0

current-web-pipelines

A pipeline page for CI systems

Language:OCamlLicense:MITStargazers:5Issues:5Issues:1
Language:HTMLStargazers:3Issues:1Issues:0

tezos-ci

OCurrent CI for Tezos

dune-binary-distribution

A web page for dune binary distribution

Language:HTMLStargazers:2Issues:2Issues:0
Language:OCamlStargazers:1Issues:3Issues:0

dune-pkg-metrics

Some metrics related to Dune package management

Language:ShellStargazers:1Issues:32Issues:0
Language:ShellStargazers:1Issues:3Issues:0
Language:MakefileStargazers:1Issues:7Issues:0

get-activity

collect activity and format as markdown for a journal

Language:OCamlLicense:MITStargazers:0Issues:1Issues:11
Language:CStargazers:0Issues:1Issues:0

jerbito

Cours & TP Programmation Fonctionnelle CFA INSTA

Language:HTMLStargazers:0Issues:8Issues:0

tezos-context-trace

Tools for working with Tezos Context traces

Language:OCamlStargazers:0Issues:6Issues:0