giacomociti/eye-shacl

Language: Shell - Size: 133 KB - Last synced: 3 days ago - Pushed: 4 days ago - Stars: 1 - Forks: 0

giacomociti/iride

Language: F# - Size: 461 KB - Last synced: 25 days ago - Pushed: 10 months ago - Stars: 23 - Forks: 3

giacomociti/DefinitelyTyped Fork of DefinitelyTyped/DefinitelyTyped

The repository for high quality TypeScript type definitions.

Size: 667 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

giacomociti/lib-rdfs Fork of eyereasoner/lib-rdfs

An rdfs component library

Size: 6.84 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

giacomociti/external-merge-sort

Language: JavaScript - Size: 182 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 1

giacomociti/rdf2dot

Language: JavaScript - Size: 1.17 MB - Last synced: 27 days ago - Pushed: about 2 months ago - Stars: 1 - Forks: 0

giacomociti/eye-js Fork of eyereasoner/eye-js

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

Language: TypeScript - Size: 5.67 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

giacomociti/Numsense Fork of ploeh/Numsense

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

Language: F# - Size: 40 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

giacomociti/fsfoundation Fork of fsharp/fsfoundation

The F# Software Foundation website

Language: HTML - Size: 18.5 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

giacomociti/xrm-csvw-playground

Language: JavaScript - Size: 376 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

giacomociti/AntaniXml

xml random generator

Language: F# - Size: 2.5 MB - Last synced: 24 days ago - Pushed: about 6 years ago - Stars: 13 - Forks: 2

giacomociti/sparql-query-file

yasgui to query local rdf files

Language: HTML - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

giacomociti/rdf-playground

Language: F# - Size: 281 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

giacomociti/dotnetrdf Fork of dotnetrdf/dotnetrdf

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

Language: C# - Size: 571 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

giacomociti/giacomociti.github.io

blog

Language: HTML - Size: 540 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

giacomociti/tla-intro

A gentle intro to TLA+

Language: TLA - Size: 662 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

giacomociti/FSharp.Data Fork of fsprojects/FSharp.Data

F# Data: Library for Data Access

Language: HTML - Size: 90.2 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

giacomociti/FSharp.TypeProviders.SDK Fork of fsprojects/FSharp.TypeProviders.SDK

The SDK for creating F# type providers

Language: F# - Size: 4.35 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

giacomociti/talks Fork of nicolaiarocci/talks

Size: 20.6 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

giacomociti/BookCollection Fork of websharper-samples/BookCollection

Editing a list of book details stored in server memory

Language: C# - Size: 98.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

giacomociti/AvroTypeProvider

Language: F# - Size: 63.5 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

giacomociti/adt

experiments with abstract data types

Language: F# - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

giacomociti/functional-structures-refactoring-kata Fork of matteobaglini/functional-structures-refactoring-kata

Starting code and proposed solution for Functional Structures Refactoring Kata

Language: C# - Size: 38.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

giacomociti/ploeh.github.com Fork of ploeh/ploeh.github.com

ploeh blog 'source code'

Language: HTML - Size: 12.4 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

giacomociti/serilog-sinks-mongodb Fork of ChangemakerStudios/serilog-sinks-mongodb

A sink for Serilog that writes events to MongoDB

Language: C# - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

giacomociti/FSharp.Formatting Fork of fsprojects/FSharp.Formatting

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

Language: F# - Size: 28.8 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

giacomociti/FsCheck Fork of fscheck/FsCheck

Random Testing for .NET

Language: F# - Size: 13.8 MB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

giacomociti/ProjectScaffold Fork of fsprojects/ProjectScaffold

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

Language: F# - Size: 1.73 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0