Found 420 repositories(showing 30)
mit-pdos
Verifying concurrent storage and distributed systems
equilibria-xyz
No description available
mit-pdos
DaisyNFS is an NFS server verified using Dafny and Perennial.
equilibria-xyz
No description available
Esri
perennial location for Esri Reveal.js conference templates
arthurdick
A simple, file-based task manager for the command line, built to cultivate lasting habits.
msampathkumar
The International Fixed Calendar (also known as the Cotsworth plan, the Eastman plan, the 13 Month calendar or the Equal Month calendar) is a solar calendar proposal for calendar reform designed by Moses B. Cotsworth, who presented it in 1902. It divides the solar year into 13 months of 28 days each. It is therefore a perennial calendar, with every date fixed to the same weekday every year.
sherlock-audit
No description available
sherlock-audit
No description available
openalea-incubator
A 3D Functionnal Structural Plant Model of perennial grasses morphogenesis and phenology
csiro-robotics
This repository contains the code and datasets used in the paper "Canopy Density Estimation in Perennial HorticultureCrops Using 3D Spinning Lidar SLAM" https://onlinelibrary.wiley.com/doi/abs/10.1002/rob.22006
phetsims
Maintenance tools that won't change with different versions of chipper checked out
Sutto
A simple event-oriented application library for Ruby
sherlock-audit
No description available
lcuis
A perennial Dart plugin to send data to a Matomo server with a Flutter example app.
mooniker
Float is perennially rewritten real-time messaging app
sherlock-audit
No description available
mit-pdos
Examples verified using Perennial
joakim
A perennial solar calendar based on astronomical observations
equilibria-xyz
A typescript library for interacting with Perennial V2 markets
Yongbinzhuang
No description available
Singhkunall
Power BI dashboard for analyzing minor irrigation data with season-wise (Kharif, Rabi, Perennial) insights, district-level analysis, and WUA coverage.
parkingvarsson
Scripts for Wang et al. (2017) "A major locus controls local adaptation and adaptive life history variation in a perennial plant". https://www.biorxiv.org/content/early/2017/12/13/178921 https://zenodo.org/badge/100579273.svg
sherlock-audit
No description available
magiclen
To store perennial files and temporary files in MongoDB.
equilibria-xyz
No description available
sherlock-audit
No description available
mit-pdos
Tool to manage perennial verification projects
lilei1
This is for the perennial species genome
sjsrey
Regional Analysis and Modeling for the Perennial Revolution