This is stars and forks stats for /PLSysSec/FaCT repository. As of 11 May, 2024 this repository has 188 stars and 12 forks.
FaCT This is the compiler for the Flexible and Constant Time cryptographic programming language. FaCT is a domain-specific language that aids you in writing constant-time code for cryptographic routines that need to be free from timing side channels. Useful links: Our paper Online demo using Compiler Explorer (source forked from mattgodbolt/compiler-explorer) FaCT case studies / evaluation Haskell embedding Python embedding Vim syntax files Building To build the compiler, you can either build from...
FaCT This is the compiler for the Flexible and Constant Time cryptographic programming language. FaCT is a domain-specific language that aids you in writing constant-time code for cryptographic routines that need to be free from timing side channels. Useful links: Our paper Online demo using Compiler Explorer (source forked from mattgodbolt/compiler-explorer) FaCT case studies / evaluation Haskell embedding Python embedding Vim syntax files Building To build the compiler, you can either build from...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| art-w/sherlodoc | OCamlCSS | 49 | 0 | 3 | 0 |
| supabase/postgres | ShellPLpgSQLJinja | 1.1k | 0 | 99 | 0 |
| microsoft/DeepSpeed-MII | PythonShell | 889 | 0 | 97 | 0 |
| Fizzadar/pyinfra | PythonOther | 2.4k | 0 | 316 | 0 |
| awslabs/aws-lambda-powertools-python | PythonOther | 2.3k | +9 | 350 | +2 |
| AUTOMATIC1111/stable-diffusion-webui-aesthetic-gradients | PythonCSS | 370 | +1 | 60 | 0 |
| appmode/nagiosplugins-php | RacketPHPShell | 0 | 0 | 1 | 0 |
| DevExpress-Examples/blazor-dxrichedit-custom-saving | Rich Text FormatHTMLC# | 0 | 0 | 0 | 0 |
| pop-os/cosmic-text | RustShell | 1.2k | 0 | 53 | 0 |
| guardian/mobile-n10n | ScalaTypeScriptOther | 23 | 0 | 4 | 0 |