Giacomo Citi (giacomociti)

giacomociti

Geek Repo

Location:Bologna, Italy

Home Page:https://twitter.com/giacomociti

Github PK Tool:Github PK Tool

Giacomo Citi's repositories

Language:F#License:UnlicenseStargazers:25Issues:6Issues:2

AntaniXml

xml random generator

Language:F#License:MITStargazers:13Issues:2Issues:8
Language:JavaScriptStargazers:2Issues:2Issues:0
Language:ShellStargazers:2Issues:0Issues:0
Language:JavaScriptStargazers:1Issues:0Issues:0

tla-intro

A gentle intro to TLA+

Language:TLAStargazers:1Issues:2Issues:0

adt

experiments with abstract data types

Language:F#Stargazers:0Issues:2Issues:0
Language:F#Stargazers:0Issues:2Issues:0

BookCollection

Editing a list of book details stored in server memory

Language:C#License:Apache-2.0Stargazers:0Issues:2Issues:0

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dotnetrdf

dotNetRDF is a powerful and flexible API for working with RDF and SPARQL in .Net environments

Language:C#License:NOASSERTIONStargazers:0Issues:1Issues:0

eye-js

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

FsCheck

Random Testing for .NET

Language:F#License:BSD-3-ClauseStargazers:0Issues:0Issues:0

fsfoundation

The F# Software Foundation website

Language:HTMLStargazers:0Issues:2Issues:0

FSharp.Data

F# Data: Library for Data Access

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

FSharp.Formatting

F# tools for generating documentation (Markdown processor and F# code formatter)

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

FSharp.TypeProviders.SDK

The SDK for creating F# type providers

Language:F#License:MITStargazers:0Issues:1Issues:0

functional-structures-refactoring-kata

Starting code and proposed solution for Functional Structures Refactoring Kata

Language:C#License:MITStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

lib-rdfs

An rdfs component library

Stargazers:0Issues:0Issues:0

Numsense

A .NET library for parsing natural-language numerals ("forty-two") to integers, and converting the other way as well

Language:F#License:MITStargazers:0Issues:0Issues:0

ploeh.github.com

ploeh blog 'source code'

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

ProjectScaffold

A prototypical .NET solution (file system layout and tooling), recommended by the F# Foundation.

Language:F#License:UnlicenseStargazers:0Issues:0Issues:0
Language:F#Stargazers:0Issues:0Issues:0

serilog-sinks-mongodb

A sink for Serilog that writes events to MongoDB

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

sparql-query-file

yasgui to query local rdf files

Language:HTMLStargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0