formal

Star

Here are 27 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 Jul 28, 2021
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 7, 2021
CSS

PrincetonUniversity / ILAng

Star

A Modeling and Verification Platform for SoCs using ILAs

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

Updated Jul 2, 2021
C++

AestheticIntegration / fix-engine

Star

Imandra FIX Engine

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

Updated Jul 12, 2021
OCaml

troyguo / dvcon_download

Star

Download proccedings from DVCon

emulation systemverilog uvm dvcon formal verificaiton

Updated Jun 9, 2021
Shell

PrincetonUniversity / IMDb-Archive

Star

ILA Model Database

modeling verification ila formal

Updated Sep 27, 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 Jun 4, 2021
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

phpBB-Spain / 3.2_Formal_Honorifics

Star

Official Spanish Translation for phpBB 3.2 Formal Honorifics (USTED)

language formal usted phpbb-spain

Updated Mar 9, 2021
PHP

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

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

mikulatomas / fcapsy

Star

🧠 Formal Concept Analysis with focus on Cognitive Psychology

psychology concept cognitive fca formal basic-level typicality

Updated Jul 15, 2021
Python

Mandarancio / ProofKit

Star

ADT and Proof editor

swift tools logic adt proofs formal logickit

Updated Sep 15, 2020
Swift

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

phpBB-Spain / 3.3_Formal_Honorifics

Star

Official Spanish Translation for phpBB 3.3 Formal Honorifics (USTED)

language formal usted phpbb-spain

Updated May 1, 2021
PHP

schattian / yellowpaper

Star

The commented version of the Ethereum's Yellow Paper.

tex embedded ethereum specification cheatsheet formal commented

Updated Jun 16, 2021
TeX

zeionara / formal_languages_and_grammars

Star

Homeworks for 'formal languages and grammars' discipline

language homework grammar formalization formal

Updated Apr 20, 2017
C++

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

thegalactic / py-galactic

Star

A package developed in Python for studying Formal Concept Analysis.

python analysis concept formal

Updated Feb 27, 2018
Python

NicolaDes / ariadneExample

Star

An example of ariadne utilization.

ariadne formal verona univr verificaiton watertank

Updated Jul 12, 2018
C++

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

josright123 / lnx_dm9051_light_rx1

Star

josright123 make here the linux dm9051 driver git repository, for easy pull to use

linux customer-support formal davicom dm9051-driver

Updated Mar 25, 2021
C

stormosson / camelot

Star

A fortress safe from deadlocks, proved with formal verification

distributed-systems synchronization verification formal

Updated Jun 21, 2016
CMake

SPurno / spurno.github.io

Star

TechPark Software Ltd. Live version https://spurno.github.io

formal

Updated Mar 11, 2021
HTML

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

Jul	AUG	Sep
	02
2020	2021	2022