Francisco Sant'Anna's Avatar

Francisco Sant'Anna

@fsantanna.bsky.social

Professor @ UERJ - Rio de Janeiro State University Developer @ Ceu Language: https://github.com/fsantanna/dceu Developer @ Freechains Protocol: https://github.com/Freechains/README Homepage: http://www.ceu-lang.org/chico/

77 Followers  |  305 Following  |  9 Posts  |  Joined: 07.02.2024  |  1.4242

Latest posts by fsantanna.bsky.social on Bluesky

Preview
GitHub - atmos-lang/atmos Contribute to atmos-lang/atmos development by creating an account on GitHub.

[ANN] Atmos is a programming language that reconciles Structured Concurrency with Event-Driven Programming:
github.com/atmos-lang/a...

Atmos is inspired by Cรฉu:
ceu-lang.org

18.08.2025 14:33 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
GitHub - lua-atmos/atmos: Structured Event-Driven Concurrency for Lua Structured Event-Driven Concurrency for Lua. Contribute to lua-atmos/atmos development by creating an account on GitHub.

[ANN] lua-atmos v0.1

lua-Atmos is a programming library for Lua that reconciles Structured Concurrency with Event-Driven Programming:

github.com/lua-atmos/at...

lua-Atmos is inspired by Cรฉu.

08.07.2025 00:50 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Nรฃo faz sentido. Tudo poderia ser simplificado com menos regras. Precisa "entrar" num programa? Menos รฉ mais.

04.07.2025 12:51 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Agora entendi a pergunta. Nรฃo, ele รฉ de redes. Mas รฉ pq na entrevista vocรช tinha perguntado sobre quem conversar sobre o Ginga.

13.12.2024 21:11 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

O Marcelo foi orientando do Luis Fernando Soares e braรงo direito nas questรตes de padronizaรงรฃo do Ginga junto ao governo e ao ITU (ONU).

13.12.2024 11:09 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Muito boa a entrevista! Sugiro o Prof Marcelo Moreno da UFJF para conversar sobre o Ginga/NCL.

12.12.2024 18:38 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
GitHub - fsantanna/dceu Contribute to fsantanna/dceu development by creating an account on GitHub.

[ANN] Ceu v0.5

github.com/fsantanna/dceu

Ceu is a synchronous programming language that extends classical structured programming with three main functionalities: Structured Deterministic Concurrency, Event Signaling Mechanisms, and Lexical Memory Management.

Ceu is inspired by Esterel and Lua.

16.10.2024 13:03 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
A Toy Problem: Drag, Click, or Cancel https://twitter.com/_fsantanna

Handling user input in Ceu - A Toy Problem: Click, Drag, or Cancel (updated do v0.4):
fsantanna.github.io/toy.html

21.07.2024 14:11 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
GitHub - fsantanna/dceu Contribute to fsantanna/dceu development by creating an account on GitHub.

[ANN] Ceu v0.4

Ceu is a synchronous programming language that reconciles Structured Concurrency with Event-Driven Programming to extend classical structured programming:

github.com/fsantanna/dceu

20.07.2024 13:40 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@fsantanna is following 19 prominent accounts