BosqueCore
AI summary
Reliable framework
A new programming language and ecosystem designed to support high-reliability software development at scale, focusing on mechanization, tooling, safety, and reliable performance.
- stars
- 154
- forks
- 5
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Web framework
A high-performance C framework for building web applications and servers
Web framework
A lightweight WSGI framework for building web applications with minimal dependencies.
Backend framework
A TypeScript framework for building scalable, durable, and observable backend applications using PostgreSQL-compatible databases.
Backend framework
A template repository for building TypeScript backend servers with NestJS and Prisma, focusing on functional programming and test-driven development.
Framework
A lightweight, functional programming framework for dependency injection and state management in TypeScript.
vexu/bog549
Language framework
A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring.
MVC framework
A framework for building CoffeeScript MVC applications with a simple and powerful structure
CLI framework
A framework for building command-line interfaces in TypeScript with type safety and automation features
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
ccob/bof.net682
C runtime framework
A .NET runtime framework for developing and executing malicious C code in a managed environment.
Store
A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead
Formal reasoning language
A functional programming language designed to reason about formal systems using object-level binding constructs.
API framework
A Symfony bundle designed to simplify the development of REST APIs by providing a structured approach to resources and their management.
Syntax framework
A framework for abstract syntactical reasoning in Coq.
Test framework
A BDD framework for writing tests in CoffeeScript and JavaScript, focusing on best practices from RSpec.
