formal

Star

Here are 21 public repositories matching this topic...

WebPraktikos / universal-resume

Star

Minimal and formal résumé (CV) website template for print, mobile, and desktop. https://bit.ly/ur_demo

html resume template pdf mobile minimal responsive paper cv typography print letter formal a4 tailwindcss

Updated May 30, 2020
JavaScript

EDI-Systems / M5P01_MuProkaron

Star

A tiny real-time kernel focusing on formal reliability and simplicity.

leds microcontroller kernel thread cortex rtos simplicity formal keil-uvision

Updated Oct 24, 2019
C

Z-Editor / Z-Editor

Star

Online Z-notations Editor with Draft.js and React.js

reactjs draft-js methods formal z-notations

Updated Jun 6, 2020
CSS

AestheticIntegration / fix-engine

Star

Imandra FIX Engine

verification formal-methods fix formal-verification financial-markets fix-protocol formal imandra

Updated Jun 26, 2020
OCaml

Bo-Yuan-Huang / ILAng

Star

A Modeling and Verification Platform for SoCs using ILAs

accelerator verification abstraction synthesis ila heterogeneous system-on-chip formal

Updated Jun 23, 2020
C++

troyguo / dvcon_download

Star

Download proccedings from DVCon

emulation systemverilog uvm dvcon formal verificaiton

Updated Apr 2, 2020
Python

PrincetonUniversity / IMDb

Star

ILA Model Database

modeling verification ila formal

Updated May 4, 2020
C++

let-unimi / liblet

Star

A teaching aid library for formal languages and compiler courses

graphviz automata grammars tree graphs antlr languages formal

Updated May 14, 2020
Python

JossMoff / formalgrammars

Star

LaTeX style for Formal Grammars and operations on them

latex cfg latex-style formal formal-grammar

Updated Mar 17, 2020
TeX

opencourses / formal_languages_and_compilers

Star

In this repository I will put some exercise about formal languages and compilers

cup jflex languages formal-languages formal opencourses

Updated Jan 10, 2018
Lex

palade / response-reviewers-comments-latex-template

Star

Formal response to reviewer's comments latex template

template latex response reviewer letter-avatar formal formal-response

Updated Jan 22, 2019
TeX

Mandarancio / ProofKit

Star

ADT and Proof editor

swift tools logic adt proofs formal logickit

Updated Oct 23, 2018
Swift

deadcoder0904 / expo-formal

Star

Using Expo with Formal to make the world's simplest forms in React Native

formal expo expo-forms react-native-forms react-native-formal

Updated May 10, 2019
JavaScript

zeionara / formal_languages_and_grammars

Star

Homeworks for 'formal languages and grammars' discipline

language homework grammar formalization formal

Updated Apr 20, 2017
C++

NicolaDes / ariadneExample

Star

An example of ariadne utilization.

ariadne formal verona univr verificaiton watertank

Updated Jul 12, 2018
C++

thegalactic / py-galactic

Star

A package developed in Python for studying Formal Concept Analysis.

python analysis concept formal

Updated Feb 27, 2018
Python

ysharplanguage / CJ2

Star

CJ^2 Algorithm

parsing languages cnf formal cyk

Updated Mar 7, 2017
C#

mikulatomas / conexp-to-python

Star

Simple tool for extracting formal context and concepts from .cex file, which is created by conexp

analysis concept fca formal cex conexp

Updated Feb 18, 2019
Python

nodef / pg-slang

Star

Convert informal SQL SELECT to formal SQL.

select sql table slang row column pg formal informal

Updated Jun 26, 2018
JavaScript

stormosson / camelot

Star

A fortress safe from deadlocks, proved with formal verification

distributed-systems synchronization verification formal

Updated Jun 21, 2016
CMake

raphaelauv / formal-calculator

Star

Formal calculator and function plot( University project )

calculator functional-programming ocaml plot formal

Updated Sep 4, 2019
OCaml

Improve this page

Add a description, image, and links to the formal topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the formal topic, visit your repo's landing page and select "manage topics."

Learn more