everparse

Automated generation of provably secure, zero-copy parsers from format specifications

Stars

229

Forks

10

Language

F*

Last Updated

Feb 18, 2024

Similar Repos
Repo Language Stars Description Updated At
OCaml 3 ocaml code-generation for binary format parsers/constructors from a specification Jun 13, 2013
Scala 488 Principled code generation from OpenAPI specifications May 04, 2023
Groovy 3 Principled code generation from OpenAPI specifications Nov 01, 2022
Scala 2 Principled code generation from OpenAPI specifications Dec 27, 2021
Scala 25 Principled code generation from OpenAPI specifications Mar 12, 2023
None 2 A lazy, zero-copy parser for the DWARF debugging format. Feb 26, 2020
Rust 2 NetBIOS format parser written in pure Rust. Fast, zero-copy, safe. Mar 03, 2024
Elixir 44 Automated changelog generation from git logs Mar 14, 2022
TypeScript 12 Zero-copy reading of Arrow data from WebAssembly Mar 01, 2023
Rust 8 A minimal and fast zero-copy parser for the PE32+ file format. May 27, 2023
Go 72 Kubernetes Secret generation from secure credential repos Feb 16, 2023
Bikeshed 68 Next-generation file format (NGFF) specifications for storing bioimaging data in the cloud. Aug 04, 2022
Rust 70 PCAP/PCAPNG file format parser written in pure Rust. Fast, zero-copy, safe. May 02, 2023
C 2 Secure Server forked from OpenSSH for Zero Trust Access Feb 09, 2023
JavaScript 3 Vulcan.js schema automated generation from trusted sources (Schema.org) Apr 01, 2019
Python 68 Implementation of next-generation file format (NGFF) specifications for storing bioimaging data in the cloud. Jun 29, 2022
Python 25 Automated tools for the generation of bespoke SMIRNOFF format parameters for individual molecules. Jun 29, 2022
Haskell 38 Tie allows generation of Haskell server stubs from OpenAPI (v 3.x) specifications. Aug 08, 2022
OCaml 92 Experimental automated generation of Reason/BuckleScript bindings from JavaScript code. Sep 23, 2022
Lua 4 [prototype] automated UML Sequence Diagrams generation from a sniffed pcap file Dec 27, 2021
Java 2 Tool for efficient, scalable and flexible generation of test suites from duplication free test specifications Jun 10, 2019
Python 2 A code generation tool that produces OpenAssetIO Traits and Specifications from a simple YAML description. Aug 31, 2023
Python 11 Semi-automated process to create an audiobook (m4b format) from markdown files. Feb 04, 2021
Python 85 Zero-Shot Question Generation from Knowledge Graphs for Unseen Predicates and Entity Types Mar 25, 2023
Python 2 Automated generation of real Swagger/OpenAPI 2.0 schemas from Django REST Framework code. Mar 09, 2023
Python 3082 Automated generation of real Swagger/OpenAPI 2.0 schemas from Django REST Framework code. May 09, 2023
C 24 A utility to identify and optionally copy recordings from a DVD-VR format disc Jan 31, 2023
Scala 7 Automated generation of Finagle HTTP/JSON services and Swagger UI from Thrift service definitions. May 16, 2022
Python 22 Automated question generation and question answering from Turkish texts using text-to-text transformers Jun 06, 2022
None 3 A collection of user-submitted guides in markdown format, for both easy-reading and for automated generation … Apr 05, 2023
C++ 133 Pokemon exchange from Flipper Zero to Game Boy for Generation I (Pokemon Red, Blue, Yellow) Apr 27, 2023
Go 2 The Go programming language - Forked to add zero copy from tcp to file and … May 22, 2022
HTML 2 Repository for internal working with Epsilon Italia on develop the algorithm to support translations from … Dec 15, 2022
Jupyter Notebook 12 An AI Tool for Automated Research Question and Hypothesis Generation from a given Scientific Literature Apr 17, 2023
C++ 2 Open-source plugin for automated UI generation of game settings from data table in UE5.2 Jul 01, 2023
Rust 3 :game_die: A crate providing secure passphrase generation based on a wordlist, mirror from https://gitlab.com/timvisee/chbs Nov 22, 2021
JavaScript 7 Zero configuration, unbundled, opinionated development and prototyping server for simple ES modules development: types generation, … Jun 04, 2022
Shell 10 Go from zero to Android emulator, automatically. Ideal for CI setup, automated testing, OS image … Jun 28, 2022
Python 207 Python script to download public Tweets from a given Twitter account into a format suitable … Jul 28, 2022
TypeScript 10 Copy the text containing chapter information directly from YouTube and convert it into simple mkvmerge … Jul 16, 2022
Rust 4 Accelerate the generation of personalized proteomes from a Variant calling format (VCF) file and a … Apr 24, 2023
Python 31 An automated solution using Python and Selenium for earning daily Microsoft Rewards points in all … Apr 24, 2023
Python 22 Get language models to generate responses in a specific format reliably. Open source implementation of … Apr 01, 2024
Rust 41 Membrane is an opinionated crate that generates a Dart package from a Rust library. Extremely … Aug 18, 2022
Python 2 Code and scripts for gathering data from the Stony Brook University ECHO copy and other … Nov 09, 2022
None 11 This repository contains the specifications for Automated Data Agreement (ADA) Project. The project is part … Mar 07, 2023
Python 13 A solution checker for CVRPTW (Gehring-Homberger) and PDP (Li-Lim) solutions in Sintef format, plus a … May 13, 2023
Red 4891 Red is a next-generation programming language strongly inspired by Rebol, but with a broader field … Aug 18, 2022
None 2 Red is a next-generation programming language strongly inspired by Rebol, but with a broader field … Jan 09, 2022
Red 24 Red is a next-generation programming language strongly inspired by Rebol, but with a broader field … May 14, 2023