Select languages
Just click on one of the languages to switch to it.
Search results for "F*"
Repository Created on June 23, 2016, 12:37 pm

hacl-star/hacl-star

F* 1463 151
HACL*, a formally verified cryptographic library written in F*
hacl-star
hacl-star
Last updated on March 9, 2023, 6:24 am
Repository Created on June 16, 2015, 7:42 pm

gem-pasteur/Integron_Finder

F* 41 22
Bioinformatics tool to find integrons in bacterial genomes
gem-pasteur
gem-pasteur
Last updated on February 27, 2023, 3:00 am
Repository Created on July 14, 2017, 7:06 am

hltdi/mitmita

F* 1 1
ሚጥሚጣ: Assistant for Amharic-English Translation
hltdi
hltdi
Last updated on November 9, 2021, 1:08 am
Repository Created on March 11, 2018, 12:07 pm

Mingyuan-Zhu/Domestic_chicken-Comparative-population-genomics

F* 1 1
This is the first attempt in 2017.7, Kunming CAS
Mingyuan-Zhu
Mingyuan-Zhu
Last updated on February 29, 2020, 8:54 am
Repository Created on May 7, 2018, 12:15 pm

catalin-hritcu/fstar-course

F* 11 3
Program verification with F* course materials
catalin-hritcu
catalin-hritcu
Last updated on March 4, 2022, 2:56 pm
Repository Created on October 21, 2018, 5:22 pm

KrankHlodversson/dun2

F* 0 0
KrankHlodversson
KrankHlodversson
Last updated on October 22, 2018, 2:19 am
Repository Created on May 15, 2019, 8:54 pm

esotka/spartina.genetics

F* 0 0
esotka
esotka
Last updated on October 13, 2020, 3:21 pm
Repository Created on August 22, 2019, 7:57 pm

ebranlard/high-thrust-ad

F* 0 0
ebranlard
ebranlard
Last updated on September 2, 2020, 11:17 pm
Repository Created on July 11, 2019, 7:48 am

Kreyl/Firefly_hw

F* 0 0
HW of FalloutDevice descendant
Kreyl
Kreyl
Last updated on December 18, 2019, 11:25 am
Repository Created on October 10, 2019, 6:39 am

TakuKitamura/verimqtt

F* 1 0
verimqtt, a formally verified mqtt library written in F*.一定の条件下であればバグがないMQTT実装。
TakuKitamura
TakuKitamura
Last updated on March 29, 2021, 2:10 am
Repository Created on April 20, 2020, 9:14 am

ahaselsteiner/2021-extreme-response

F* 2 1
Repo for "Long-term extreme response of an offshore turbine: How accurate are contour-based estimates?" https://doi.org/10.1016/j.renene.2021.09.077
ahaselsteiner
ahaselsteiner
Last updated on November 29, 2022, 9:24 am
Repository Created on April 25, 2020, 8:30 am

TheMartyJJ/liostar_code

F* 0 0
This repository contains submitted code for IFCP20
TheMartyJJ
TheMartyJJ
Last updated on April 26, 2020, 9:38 am
Repository Created on November 4, 2019, 6:49 pm

Jesusthebotanist/PLBIO6401_EcologyEvolution_Module_2019

F* 0 0
Jesusthebotanist
Jesusthebotanist
Last updated on November 15, 2019, 4:21 pm
Repository Created on October 14, 2020, 12:48 pm

kavyamanohar/mlphon

F* 6 0
FST based Malayalam Phonetic Analyser.This is a mirror of https://gitlab.com/smc/mlphon
kavyamanohar
kavyamanohar
Last updated on December 18, 2022, 7:02 pm
Repository Created on August 7, 2021, 2:34 pm

W95Psp/verified-abstract-interpreter

F* 9 2
W95Psp
W95Psp
Last updated on September 30, 2022, 10:20 am
Repository Created on April 30, 2021, 12:48 pm

insa-rouen/fast-parameters

F* 0 0
A Python toolbox for FAST
insa-rouen
insa-rouen
Last updated on May 11, 2021, 1:21 pm
Repository Created on August 24, 2021, 12:16 am

amanda-meuser/creek_chub_sd

F* 1 0
R scripts for plotting output from FST, GEMMA, and linkage disequilibrium calculations on creek chub GBS sequencing data
amanda-meuser
amanda-meuser
Last updated on February 20, 2022, 7:31 pm
Repository Created on October 22, 2021, 8:59 pm

PierceWF/bggn213

F* 0 0
Bioinformatics Class
PierceWF
PierceWF
Last updated on July 17, 2022, 8:37 am
Repository Created on May 29, 2022, 4:37 pm

mmlapeira/Cholera_TFM

F* 1 0
Additional materials and tables generated during the process of my TFM.
mmlapeira
mmlapeira
Last updated on May 31, 2022, 6:40 pm
Repository Created on August 15, 2022, 11:08 pm

Agentsecret24/The-Official-Agent-Chromatic-Storage

F* 0 0
The Official Place to get My FNF Chromatics. Use for whatever(outside of NSFW) just be sure to credit me.
Agentsecret24
Agentsecret24
Last updated on August 16, 2022, 1:08 am
Repository Created on November 29, 2022, 4:49 am

Starwort/advent-of-code-2022

F* 5 1
Starwort
Starwort
Last updated on December 30, 2022, 12:34 pm
Repository Created on July 28, 2016, 8:37 pm

msr-quarc/ReVerC

F* 17 3
Verified compilation of space-efficient reversible circuits
msr-quarc
msr-quarc
Last updated on March 6, 2023, 6:45 pm
Repository Created on November 15, 2015, 6:12 pm

WISDEM/Ref_Turbines

F* 6 3
DEPRECATED: Reference Turbines from WindPACT and other NREL work
WISDEM
WISDEM
Last updated on January 28, 2023, 2:44 pm
Repository Created on September 14, 2015, 7:54 pm

The-Bioinformatics-Group/skeletonema_resequencing

F* 0 0
The-Bioinformatics-Group
The-Bioinformatics-Group
Last updated on January 22, 2019, 12:03 pm
Repository Created on February 24, 2015, 12:05 pm

judasshuffle/JudasHIFI

F* 0 0
My gubbins
judasshuffle
judasshuffle
Last updated on September 24, 2022, 10:56 am
Repository Created on November 23, 2018, 8:21 pm

genevol-usp/EvoGen_course

F* 1 0
genevol-usp
genevol-usp
Last updated on April 10, 2020, 4:16 am
Repository Created on November 28, 2018, 11:32 am

SeraSky/Avatar

F* 0 0
SeraSky
SeraSky
Last updated on November 28, 2018, 11:57 am
Repository Created on March 20, 2019, 10:47 pm

MrMegaTronic/Johnny5

F* 0 0
MrMegaTronic
MrMegaTronic
Last updated on March 21, 2019, 7:02 pm
Repository Created on May 9, 2019, 3:18 am

TauqirA/FStar-Heapsort

F* 0 0
TauqirA
TauqirA
Last updated on May 13, 2019, 5:21 pm
Repository Created on April 26, 2020, 12:17 am

lynshi/fstar-tutorial

F* 0 0
lynshi
lynshi
Last updated on April 26, 2020, 10:31 pm
Next