Pasqualino 'Titto' Assini (tittoassini)

tittoassini

Geek Repo

Location:Florence, Italy

Home Page:http://quid2.org

Twitter:@tittoassini

Github PK Tool:Github PK Tool

Pasqualino 'Titto' Assini's repositories

notebook

Rough and Ready Haskell Notebooks with HLS and VS Code

Language:HaskellLicense:MITStargazers:42Issues:3Issues:0

vscode-planner

Visual Studio Code Extension For Simple Planning in Markdown

Language:TypeScriptLicense:BSD-3-ClauseStargazers:7Issues:2Issues:4

docker

raspbian-haskell: a linux/Arm7 haskell testing environment

Language:DockerfileStargazers:5Issues:0Issues:0

quid2

Umbrella repository for quid2 projects

propellor

property-based host configuration management in haskell

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

binary-serialise-cbor

Binary serialisation in the CBOR format

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

diverk

An Android app to browse GitHub repositories

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

docs

Documents and specs

Stargazers:0Issues:2Issues:0

doctest

An implementation of Python's doctest for Haskell

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

doctest-ts

doctests for typescript

License:MITStargazers:0Issues:0Issues:0

documentation

Documentation for the PureScript language, compiler, and tools.

Stargazers:0Issues:0Issues:0

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

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

ghcide

A library for building Haskell IDE tooling

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

ghcjs-base

base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC

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

grace

A ready-to-fork interpreted functional language with type inference

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

hapistrano

Deploy tool for Haskell applications, like Capistrano for Rails

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

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

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

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

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

lsp

Haskell library for the Microsoft Language Server Protocol

License:MITStargazers:0Issues:0Issues:0

quid2-net-js

JavaScript API for the quid2-net messaging system

Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

serialization-bench

Benchmark of the major serialization libraries

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

test

Test repository

Language:AssemblyStargazers:0Issues:0Issues:0

vditor

♏ 一款浏览器端的 Markdown 编辑器,支持所见即所得(富文本)、即时渲染(类似 Typora)和分屏预览模式。An In-browser Markdown editor, support WYSIWYG (Rich Text), Instant Rendering (Typora-like) and Split View modes.

License:MITStargazers:0Issues:0Issues:0

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

License:NOASSERTIONStargazers:0Issues:0Issues:0

vscode-org-mode

Emacs Org Mode for Visual Studio Code (In Progress, contributions are welcome)

Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

x86-64

Runtime code generation for x86 64 bit machine code

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