Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by andrew-bedford

A curated list of projects in awesome lists by andrew-bedford .

https://github.com/andrew-bedford/coqatoo

Generates natural language versions of Coq proofs

coq natural-language-generation

Last synced: 10 Oct 2024

https://github.com/andrew-bedford/ott-ifc

Generates information-flow control mechanisms from a language's specification

information-flow-control ott

Last synced: 11 Nov 2024

https://github.com/andrew-bedford/re-app

Turn your local web app in a webview-based desktop application

dotnet python qt

Last synced: 11 Nov 2024

https://github.com/andrew-bedford/ulsifa

Secure information-flow analyzer

Last synced: 11 Nov 2024

https://github.com/andrew-bedford/re-blog

Simple webassembly-based blog

blazor blog csharp webassembly

Last synced: 11 Nov 2024

https://github.com/andrew-bedford/paper-scout

Research library analysis and visualization tool

Last synced: 11 Nov 2024

https://github.com/andrew-bedford/sai

Static analysis and instrumentation framework for Android

android instrumentation static-analysis

Last synced: 11 Nov 2024