Bract Technologies

Popular repositories Loading

1. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

2. temporal-parser temporal-parser Public

   Forked from taskade/temporal-parser

   A lexer and parser for ISO 8601, RFC 3339, and IXDTF temporal expressions, built with compiler design principles.

   TypeScript

3. wirehair wirehair Public

   Forked from catid/wirehair

   Wirehair : O(N) Fountain Code for Large Data

   C++

4. apphosting-astro-minimal apphosting-astro-minimal Public template

   Template repository for hosting Astro websites on Firebase Apphosting

   JavaScript

5. apphosting-astro-monorepo apphosting-astro-monorepo Public template

   Template monorepo for hosting Astro websites on Firebase Apphosting

   JavaScript

6. is-bract is-bract Public

   Returns true if the string contains the word 'bract'

   JavaScript