Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / baioc / FormallySharp

Online formal language designer

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/baioc%2FFormallySharp

Stars: 4
Forks: 0
Open Issues: 0

License: agpl-3.0
Language: F#
Repo Size: 1.56 MB
Dependencies: 762

Created: almost 3 years ago
Updated: 10 months ago
Last pushed: over 2 years ago
Last synced: 10 months ago

Topics: formal-languages, safe-stack

Files

Readme

Dependencies

package.json npm

copy-webpack-plugin ^6.1.0 development
css-loader ^5.2.6 development
file-loader ^4.2.0 development
html-webpack-plugin ^3.2.0 development
mini-css-extract-plugin ^0.10.0 development
react ^16.10.2 development
react-dom ^16.10.2 development
remotedev ^0.2.7 development
sass ^1.34.0 development
sass-loader ^9.0.3 development
style-loader ^1.2.1 development
sweetalert2 ^8.19.0 development
webpack ^4.41.2 development
webpack-cli ^3.3.9 development
webpack-dev-server ^3.8.2 development

package-lock.json npm

672 dependencies

paket.lock nuget

Elmish.SweetAlert 3.4
Expecto 9.0.2
FParsec 1.1.1
FSharp.Control.Reactive 5.0.2
FSharp.Control.Websockets 0.2.2
FSharp.Core 5.0.1
Fable.AST 3.1.1
Fable.Browser.Blob 1.1.4
Fable.Browser.Dom 2.4.4
Fable.Browser.Event 1.4.5
Fable.Browser.Gamepad 1.0.3
Fable.Browser.WebStorage 1.0.4
Fable.Browser.XMLHttpRequest 1.1.6
Fable.Core 3.6
Fable.Elmish 3.1
Fable.Elmish.React 3.0.1
Fable.Mocha 2.10
Fable.Parsimmon 4.1
Fable.React 7.4.2
Fable.Remoting.Client 7.16
Fable.Remoting.Giraffe 5.3
Fable.Remoting.Json 2.17
Fable.Remoting.MsgPack 1.13
Fable.Remoting.Server 5.23
Fable.SimpleJson 3.21
Fake.Core.CommandLineParsing 5.20.4
Fake.Core.Context 5.20.4
Fake.Core.Environment 5.20.4
Fake.Core.FakeVar 5.20.4
Fake.Core.Process 5.20.4
Fake.Core.String 5.20.4
Fake.Core.Target 5.20.4
Fake.Core.Trace 5.20.4
Fake.IO.FileSystem 5.20.4
Farmer 1.6.1
Feliz 1.47
Feliz.Bulma 2.15
Feliz.CompilerPlugins 1.5
Giraffe 5.0
Giraffe.ViewEngine 1.4
LiteDB 4.1.4
LiteDB.FSharp 2.16
Microsoft.AspNetCore.Authentication.JwtBearer 5.0.7
Microsoft.CSharp 4.7
Microsoft.IO.RecyclableMemoryStream 2.1.2
Microsoft.IdentityModel.JsonWebTokens 6.11.1
Microsoft.IdentityModel.Logging 6.11.1
Microsoft.IdentityModel.Protocols 6.11.1
Microsoft.IdentityModel.Protocols.OpenIdConnect 6.11.1
Microsoft.IdentityModel.Tokens 6.11.1
Microsoft.NETCore.Platforms 5.0.2
Microsoft.NETCore.Targets 5.0
Mono.Cecil 0.11.3
Newtonsoft.Json 13.0.1
Ply 0.3.1
Saturn 0.15
System.Collections.Immutable 5.0
System.Formats.Asn1 5.0
System.IO 4.3
System.IdentityModel.Tokens.Jwt 6.11.1
System.Reactive 5.0
System.Reflection 4.3
System.Reflection.Emit 4.7
System.Reflection.Emit.Lightweight 4.7
System.Reflection.Primitives 4.3
System.Reflection.TypeExtensions 4.7
System.Runtime 4.3.1
System.Security.Cryptography.Cng 5.0
System.Text.Encoding 4.3
System.Text.Json 5.0.2
System.Threading.Tasks 4.3
System.Threading.Tasks.Extensions 4.5.4
System.ValueTuple 4.5
TypeShape 9.0
Utf8Json 1.3.7