BosqueCore
Reliability framework
Developing a programming language and runtime designed to support high-reliability software artifacts through mechanization, tooling, and total safety
152 stars
6 watching
5 forks
Language: TypeScript
last commit: 6 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 boazsegev/facil.io | A high-performance C framework for building web applications and servers | 2,161 |
 stackforge/pecan | A lightweight WSGI framework for building web applications with minimal dependencies. | 154 |
 dbos-inc/dbos-transact-ts | A TypeScript framework for building scalable, durable, and observable backend applications using PostgreSQL-compatible databases. | 366 |
 samchon/backend | A template repository for building TypeScript backend servers with NestJS and Prisma, focusing on functional programming and test-driven development. | 640 |
 darky/context-fp | A lightweight, functional programming framework for dependency injection and state management in TypeScript. | 2 |
 vexu/bog | A small, embeddable language with strong typing and support for async/await, loops, error handling, and destructuring. | 546 |
 soyjavi/monocle | A framework for building CoffeeScript MVC applications with a simple and powerful structure | 107 |
 mdbetancourt/soly | A framework for building command-line interfaces in TypeScript with type safety and automation features | 88 |
 xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
 ccob/bof.net | A .NET runtime framework for developing and executing malicious C code in a managed environment. | 678 |
 replikativ/konserve | A protocol for building asynchronous, thread-safe, and consistent key-value stores with low overhead | 301 |
 beluga-lang/beluga | A functional programming language designed to reason about formal systems using object-level binding constructs. | 184 |
 programmingarehard/resourcebundle | A Symfony bundle designed to simplify the development of REST APIs by providing a structured approach to resources and their management. | 34 |
 dunnl/tealeaves | A framework for abstract syntactical reasoning in Coq. | 23 |
 abe33/spectacular | A BDD framework for writing tests in CoffeeScript and JavaScript, focusing on best practices from RSpec. | 73 |