FPIEDRAH-BU
Popular repositories Loading
-
ControllersArduino
ControllersArduino Public archiveSimple library that allow to use PS3 and Xbox controllers in Arduino.
-
kedro-slurm
kedro-slurm PublicTools and runners for deploying and executing Kedro projects on SLURM
Python 2
-
Repositories
- information-flow-routes Public
FPIEDRAH-BU/information-flow-routes’s past year of commit activity - function-vectors Public
This repository replicates the function vector results presented in the research paper by Eric Todd et al.
FPIEDRAH-BU/function-vectors’s past year of commit activity - forall-x Public
Formal proofs of the "forall x: Calgary" book by P.D. Magnus, Tim Button, Robert Trueman, and Richard Zach, using the Lean4 theorem prover.
FPIEDRAH-BU/forall-x’s past year of commit activity - logic-lean4 Public
FPIEDRAH-BU/logic-lean4’s past year of commit activity - ALaRM Public archive Forked from halfrot/ALaRM
Code for the paper "ALaRM: Align Language Models via Hierarchical Rewards Modeling"
FPIEDRAH-BU/ALaRM’s past year of commit activity - private-search Public archive
POC replicating the functionality described in the "Private Web Search with Tiptoe" paper
FPIEDRAH-BU/private-search’s past year of commit activity - solvent Public
FPIEDRAH-BU/solvent’s past year of commit activity - FM-Solver Public
FPIEDRAH-BU/FM-Solver’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…