CodeDown (codedownio)

CodeDown

codedownio

Geek Repo

Collaborative coding and mathematics notebooks

Location:California, USA

Home Page:https://codedown.io

Github PK Tool:Github PK Tool

CodeDown's repositories

sandwich

Yet another test framework for Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:67Issues:5Issues:46

haskell-notebook-language-server

Transformers to handle notebooks with HLS

Language:HaskellLicense:NOASSERTIONStargazers:5Issues:4Issues:1

General

The official registry of general Julia packages, augmented with Nix sha256 hashes

Language:JuliaLicense:MITStargazers:3Issues:0Issues:0

markdown-spellcheck-lsp

Language Protocol Server for running spellcheck on Markdown

Language:TypeScriptStargazers:2Issues:0Issues:0

registry2nix

Augment a Julia registry with Nix hashes

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:0Issues:0

sauron

Tower's-eye view of your GitHub repos

Language:HaskellLicense:NOASSERTIONStargazers:2Issues:2Issues:3

codedown-languages

Language packs for CodeDown (kernels, language servers, package managers, etc.)

IHaskell

A Haskell kernel for IPython.

Language:Jupyter NotebookLicense:MITStargazers:1Issues:0Issues:0

desktop

Install on Nix systems using a flake

Language:NixLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

aeson

A fast Haskell JSON library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

beam

A type-safe, non-TH Haskell SQL library and ORM

Language:HaskellStargazers:0Issues:0Issues:0

broadcast-chan

Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.

Language:HaskellStargazers:0Issues:0Issues:0

CodeMirror

In-browser code editor

License:MITStargazers:0Issues:0Issues:0

conduit-aeson

Streaming JSON parsing

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

cpuinfo

Haskell Library for Checking CPU Information

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

docker-engine

Haskell bindings for Docker generated with OpenAPI

Language:HaskellStargazers:0Issues:0Issues:0

haskell-oidc-client

OpenID Connect 1.0 client (RP) library for Haskell

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

HaskellNet

Haskell library which provides client support for POP3, SMTP, and IMAP protocols.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

HelloWorld.jl

Dummy Julia project for Nix packaging tests

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

http-reverse-proxy

Reverse proxy HTTP requests, either over raw sockets or with WAI

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

kata-containers

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

License:Apache-2.0Stargazers:0Issues:0Issues:0

kubernetes-client-haskell

Haskell client for the kubernetes API. A work in progress.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lsp

Haskell library for the Microsoft Language Server Protocol

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

minikube

Run Kubernetes locally

License:Apache-2.0Stargazers:0Issues:0Issues:0

minio-hs

MinIO Client SDK for Haskell

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

nbconvert

Jupyter Notebook Conversion

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

network-wait

A lightweight Haskell library for waiting on networked services to become available

License:MITStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

servant-typescript-docs

Modified version of servant-docs to integrate with aeson-typescript

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

templates

Template notebooks for CodeDown

Language:Jupyter NotebookStargazers:0Issues:0Issues:0