Boris Eng engboris

• https://www.engboris.fr/
• Joined on Mar 02, 2022

Repositories Public Activity Starred Repositories

1

Following Followers

engboris pushed to master at engboris/large-star-collider

• ae065dd9be Mise à jour de 'README.md'

2 years ago

engboris pushed to master at engboris/large-star-collider

• 7db54431fa Remove useless code

2 years ago

engboris pushed to master at engboris/large-star-collider

• f8efe7032d Update .gitignore

2 years ago

engboris pushed to master at engboris/large-star-collider

• 89b0aceefd Update README

2 years ago

engboris pushed to master at engboris/large-star-collider

• 6908956bc0 Reprogrammation complète

2 years ago

engboris pushed to master at engboris/large-star-collider

• 8db9e5a201 Fix polarities in StellarCircuits
• 6edfd78280 Add circuits and automata
• Compare 2 commits »

3 years ago

engboris pushed to master at engboris/large-star-collider

• 02fcbc2b1f Add automata

3 years ago

engboris pushed to master at engboris/large-star-collider

• 32122cbae7 Small fix

3 years ago

engboris pushed to master at engboris/large-star-collider

• 6c985f1b89 Add circuits

3 years ago

engboris pushed to master at engboris/large-star-collider

• ab6ca662e7 Add instructions

3 years ago

engboris pushed to master at engboris/large-star-collider

• e5d7ab02cc Preparation for ocaml

3 years ago

engboris pushed to master at TC/references

• 431e4d1c78 Mise à jour de 'README.md'

3 years ago

engboris pushed to master at engboris/large-star-collider

• c30c61acb0 Initial commit

3 years ago

engboris created repository engboris/large-star-collider

3 years ago