Awesome Open Source

Programming Languages

Jstar Old

jStar is a verification tool based on separation logic.

Categories > Companies > Microsoft

Suggest Alternative

Stars

10

License

other

Most Recent Commit

13 years ago

Programming Language

OCaml

Categories

Companies > Microsoft

Programming Languages > Ocaml

Alternatives To Jstar Old

Select To Compare

Vscode ⭐ 159,810

Visual Studio Code

dependent packages 162total releases 758most recent commit 13 days ago

npm monaco-editor-core} Downloads

Microsoft Activation Scripts ⭐ 57,335

A Windows and Office activator using HWID / Ohook / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.

most recent commit 6 months ago

Linkedin Skill Assessments Quizzes ⭐ 27,792

Full reference of LinkedIn answers 2023 for skill assessments (aws-lambda, rest-api, javascript, react, git, html, jquery, mongodb, java, Go, python, machine-learning, power-point) linkedin excel test lösungen, linkedin machine learning test LinkedIn test questions and answers

dependent packages 2total releases 6most recent commit 5 months ago

npm linkedin-quiz-skill-assessments} Downloads

Awesome ⭐ 23,918

:computer: 🎉 An awesome & curated list of best applications and tools for Windows.

most recent commit 8 months ago

Vscodium ⭐ 22,777

binary releases of VS Code without MS branding/telemetry/licensing

most recent commit 5 months ago

Winget Cli ⭐ 21,580

WinGet is the Windows Package Manager. This project includes a CLI (Command Line Interface), PowerShell modules, and a COM (Component Object Model) API (Application Programming Interface).

total releases 31most recent commit 5 months ago

Maui ⭐ 21,146

.NET MAUI is the .NET Multi-platform App UI, a framework for building native device applications spanning mobile, tablet, and desktop.

dependent packages 152total releases 26most recent commit 5 months ago

nuget Microsoft.Maui.Dependencies} Downloads

Awesome Dotnet Core ⭐ 18,792

:honeybee: A collection of awesome .NET core libraries, tools, frameworks and software

most recent commit 6 months ago

Recommenders ⭐ 18,129

Best Practices on Recommendation Systems

dependent packages 2total releases 11most recent commit a month ago

pypi recommenders} Downloads

Fluentui ⭐ 18,024

Fluent UI web represents a collection of utilities, React components, and web components for building web applications.

dependent packages 455total releases 1,506most recent commit 16 hours ago

npm office-ui-fabric-react} Downloads

Suggest An Alternative To jstar-old

Popular Companies Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Microsoft

Ocaml

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.