fxpl

scyros Public
A framework to design sound, reproducible and scalable mining repository studies on GitHub.

fxpl/scyros’s past year of commit activity

Rust
1
Apache-2.0
1 0 0
Updated Mar 20, 2026
fxpl/cpython’s past year of commit activity
fxpl/sa-backend’s past year of commit activity

Elixir 0 Apache-2.0
68 0 0
Updated Mar 18, 2026
sa-frontend Public Forked from source-academy/frontend
Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)

fxpl/sa-frontend’s past year of commit activity

TypeScript 0 Apache-2.0
197 0 0
Updated Mar 18, 2026
fxpl/pyrona-artifact’s past year of commit activity

Python 0 MIT 0
0 0
Updated Mar 17, 2026
fxpl/scyros-tutorial’s past year of commit activity

Python 0 Apache-2.0 0
0 0
Updated Mar 15, 2026
fxpl/stainless-tutorial’s past year of commit activity

Scala 0 0
0 0
Updated Jan 21, 2026
fxpl/trieste-while’s past year of commit activity

C++ 0
2 0 0
Updated Dec 2, 2025
fxpl/stainless-float-benchmarks’s past year of commit activity

Scala 0 Apache-2.0 0
0 0
Updated Oct 29, 2025
trieste-miniml Public
Trieste implementation of MiniML with type inference

fxpl/trieste-miniml’s past year of commit activity

C++ 0
1 0 0
Updated Oct 24, 2025