victorcrrd

Pinned Repositories

• circom

  zkSnark circuit compiler

  Language:WebAssembly1.2k19127232

• sharing-scores-dropbox

  Language:Python1101

• formalm-python-template

  Demo project for FormaLM python integration

  Language:Python0000

• formalm-scala-demo

  Small project using Scala with SBT

  Language:Scala2400

• gh-formalm-demo

  Language:Scala00

• xef

  Building applications with LLMs through composability, in Kotlin, Scala, ...

  Language:Kotlin170197215

victorcrrd's Repositories