Explore Projects

Discover 3 open source projects

Active filters (1):

Search: c-language×

Showing 1-3 of 3 projects

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K

Active

Programming Language

API Frameworks

#dependent-types#smt#theorem-proving

Open5GS is an open-source 5G core network implementation written in C, supporting LTE/NR networks.

2.5K

Active

API Frameworks

Containerization

#3gpp#4g#5g

A modern C11 compiler for developers looking to build low-level software and tools.

1.2K

Active

API Frameworks

CLI Tools

#c-lang#c-language#compiler

Get weekly updates on trending AI coding tools and projects.