microsoft/nl-2-postcond external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

microsoft/nl-2-postcond

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/microsoft/nl-2-postcond)

Close

microsoft / nl-2-postcondView on GitHubMore

• External links
• Readme badge

Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages

☆18Feb 12, 2025Updated last year

Alternatives and similar repositories for nl-2-postcond

Users that are interested in nl-2-postcond are comparing it to the libraries listed below

• microsoft / NeuralInvariantRanker

  View on GitHub
  Ranking LLM-Generated Loop Invariants for Program Verification.
  ☆12Aug 20, 2024Updated last year
• gitguige / openpilot0.8.9

  View on GitHub
  This is an experiment platform with autonomous agent openpilot0.8.9 and simulator carla 9.11 without docker setups.
  ☆11Jan 3, 2025Updated last year
• Xidian-ICTT-GZ / Academic_Blog

  View on GitHub
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆36Oct 27, 2025Updated 4 months ago
• chenhengwei1999 / ISSPA

  View on GitHub
  Intelligent Self-driving System empowering Physical Agents (ISSPA)
  ☆13Dec 23, 2024Updated last year
• EVulHunter / EVulHunter

  View on GitHub
  ☆10Sep 24, 2019Updated 6 years ago
• FPSG-UIUC / micro23-teaal-artifact

  View on GitHub
  MICRO 2023 Evaluation Artifact for TeAAL
  ☆10Oct 26, 2023Updated 2 years ago
• DavisPL / PCCC

  View on GitHub
  Proof-carrying code completions in Dafny
  ☆11Apr 4, 2025Updated 10 months ago
• masesgroup / JCOBridge-Examples

  View on GitHub
  The repository contains examples files to use with JCOBridge. The examples are ready to run.
  ☆11Nov 16, 2023Updated 2 years ago
• Lombiq / NPM-Targets

  View on GitHub
  Some common NPM MSBuild targets and other utilities used in ASP.NET (Core) MVC and Orchard (Core) CMS development.
  ☆12Feb 5, 2026Updated 3 weeks ago
• microsoft / pxt-mkc

  View on GitHub
  Command line tool for MakeCode editors
  ☆17Jan 20, 2026Updated last month
• guyuanjunxi / yiyu

  View on GitHub
  在线登录注册（android客户端+javaweb服务端+腾讯云服务器+腾讯云数据库）
  ☆10Nov 11, 2020Updated 5 years ago
• harperchen / SEAL

  View on GitHub
  ☆12Jun 10, 2025Updated 8 months ago
• dend / entra-id-mcp-server-session-demo

  View on GitHub
  Demo showing how to use Entra ID with MCP servers without passing access tokens through.
  ☆14Apr 4, 2025Updated 10 months ago
• SoftCircuits / OrderedDictionary

  View on GitHub
  .NET library that implements an ordered dictionary.
  ☆12Dec 24, 2024Updated last year
• itsBuggingMe / CSharpWasm

  View on GitHub
  ☆20Aug 6, 2025Updated 6 months ago
• microsoft / verus-copilot-vscode

  View on GitHub
  ☆16Jan 23, 2026Updated last month
• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 10 months ago
• costa-group / forves

  View on GitHub
  ☆12Nov 19, 2024Updated last year
• davischr2 / Cloud-Documents

  View on GitHub
  This repository supports the blog site www.cloudauditcontrols.com.
  ☆15Dec 3, 2025Updated 2 months ago
• ACADLab / SA-DS

  View on GitHub
  ☆13Jul 25, 2024Updated last year
• MinhasKamal / BrailleToTextTranslator

  View on GitHub
  Translate Braille Writing to Plain Text
  ☆10Nov 6, 2025Updated 3 months ago
• FCAS-LAB / LEGOSIM_MICRO

  View on GitHub
  ☆28Aug 4, 2025Updated 6 months ago
• iscas-tis / ChiRVFormal

  View on GitHub
  Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.
  ☆18Feb 3, 2026Updated 3 weeks ago
• aashishkolluri / Ethracer

  View on GitHub
  ☆13May 27, 2019Updated 6 years ago
• cyyself / CDIM-SoC

  View on GitHub
  SoC for CQU Dual Issue Machine
  ☆12Sep 20, 2022Updated 3 years ago
• Miracle-x / AutoGen-CTF

  View on GitHub
  ☆14May 7, 2025Updated 9 months ago
• Moorvan / RISCV-Formal-Chisel

  View on GitHub
  RISC-V Formal in Chisel
  ☆12Apr 9, 2024Updated last year
• gipsyh / rIC3-HWMCC24

  View on GitHub
  rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission
  ☆11Jul 4, 2025Updated 7 months ago
• ajwijs / GPUexplore

  View on GitHub
  GPU model checker
  ☆11Apr 17, 2019Updated 6 years ago
• bkiers / ecmascript-parser

  View on GitHub
  An ANTLR4 grammar for ECMAScript 5.1
  ☆16Jul 13, 2017Updated 8 years ago
• ekiwi / open-source-formal-verification-for-chisel

  View on GitHub
  ☆10Oct 15, 2021Updated 4 years ago
• cascade-artifacts-designs / cascade-meta

  View on GitHub
  ☆13Feb 14, 2026Updated 2 weeks ago
• zouyonghao / DistFuzz

  View on GitHub
  Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
  ☆13Mar 7, 2025Updated 11 months ago
• TechPizzaDev / SharpBlaze

  View on GitHub
  ☆15Jan 3, 2026Updated last month
• mizvol / gephi-tutorials

  View on GitHub
  Gephi tutorials for data visualisation lecture. A Network Tour of Data Science 2019 Fall semester
  ☆12Apr 11, 2021Updated 4 years ago
• mschlaegl / pylibfst

  View on GitHub
  Handle Fast Signal Traces (fst) in Python
  ☆14Jun 11, 2025Updated 8 months ago
• peachpiecompiler / Peachpie.Microsoft.CodeAnalysis

  View on GitHub
  Fork of dotnet/roslyn slightly modified to be used for https://github.com/peachpiecompiler/peachpie.
  ☆10Feb 21, 2025Updated last year
• microsoft / jacdac-dotnet

  View on GitHub
  Jacdac .NET library
  ☆15Aug 14, 2025Updated 6 months ago
• thelmuth / psb2-python

  View on GitHub
  ☆11Oct 16, 2025Updated 4 months ago