Picture cards for little learners. Explore illustrated decks, generate cards on a topic, and bring new words to life.
Explore SnapcardsIndependent software studio · São Paulo, Brazil
Software, from
first principles.
Useful apps. Open foundations. And a belief that the way we build software is ready for a rethink.
Built in Brazil. Shared with the world.
THE BONISOFT WORKBENCH
01 / THE IDEA
“What if we could
build it differently?”
02 / THE LANGUAGE
pronto
Describe. Generate. Verify.
03 / OUT IN THE WORLD
Applications
Open source
A little curiosity goes a long way.
BS / 001
01 / OUT IN THE WORLD
Ideas you can use.
From learning new words to one more hand of cards.
Different ideas, one software studio.
A Brazilian classic, with local character. Play regional variations against bots or share a table with friends online.
Play a hand
An arcade road trip in your browser. Chase the clock through coastal roads, branching routes, and desert canyons.
Go for a drive02 / UNDER THE HOOD
A different way
to
make things.
Our applications are also a proving ground.
We build the tools, then put them to work.
THE PROGRAMMING PLATFORM
Meet Pronto
A programming language built for AI. Start with a description of an application; use declared data, rules, and screens to guide what gets generated and verified.
Pronto brings the pieces together: the interface, the backend, and the development workflow. Snapcards, Truco, and Apex Run are examples of what we build with it.
Explore Pronto
ONE DECLARED APPLICATION
pronto
the language
omnishell
interface
mecha
data + sync
bayt
build config
sayt
lifecycle
From a browser tab to a cloud deployment.
The foundations are open.
Browse the organization
01
02
03
04
05
06
Sayt
A consistent workflow for building, testing, and shipping software with your existing tools.
Bayt
Declare a build target once. Generate the configuration your build and deployment tools need.
Mecha
A schema-driven backend architecture connecting data, change processing, and real-time sync.
Omnishell
Pronto’s frontend runtime for declarative screens, reactive data, and offline interaction.
Lazybox
A portable toolbox for developers. Command-line tools download when you first need them.
Shall
An AI-assisted command approval gate for Claude Code, with allow, deny, and ask decisions.
Each project’s repository contains its documentation, source, and license. Some applications adapt earlier open-source projects; attribution lives with their source.
DAVI DE CASTRO REIS
FOUNDER
03 / THE PERSON BEHIND THE WORK
A happy coder.
A curious mind.
Bonisoft is the independent software studio of Davi Reis, a computer scientist, engineer, and company builder.
Davi’s career includes ten years at Google, work on Search and Orkut, co-founding WorldSense, and technology leadership at Loggi. His background spans information retrieval, open-source software, and helping technology organizations grow.
Bonisoft is where that experience meets hands-on experimentation: building useful applications and exploring how AI changes the craft of making software.
04 / SAY HELLO
Good things start
with a
conversation.
The company behind the work
Bonisoft is the registered trade name of the Brazilian company below. Bonisoft3 is the identity used for this website and our GitHub organization.
For company inquiries and product support, email Davi using the address below. You can also report project issues through the relevant GitHub repository.
- davi@davi.eng.br
- Legal name
- DAVI DE CASTRO REIS CONSULTORIA EM TECNOLOGIA DA INFORMACAO LTDA
- Trade name
- BONISOFT
- CNPJ
- 46.504.400/0001-35
- Registered address
-
Avenida Paulista, 1636, Conj. 4, Pavimento 15
Bela Vista · São Paulo – SP
CEP 01310-200 · Brazil