- Notifications
You must be signed in to change notification settings - Fork0
Fork of C3C that adds VXCC backend support
License
LGPL-3.0, MIT licenses found
Licenses found
alex-s168/c3c
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
C3 is a programming language that builds on the syntax and semantics of the C language,with the goal of evolving it while still retaining familiarity for C programmers.
It's an evolution, not a revolution: the C-likefor programmers who like C.
Precompiled binaries for the following operating systems are available:
- Windows x64download,install instructions.
- Debian x64download,install instructions.
- Ubuntu x86download,install instructions.
- MacOS Arm64download,install instructions.
The manual for C3 can be found atwww.c3-lang.org.
Thanks to full ABI compatibility with C, it's possible to mix C and C3 in the same project with no effort. As a demonstration, vkQuake was compiled with a small portion of the code converted to C3 and compiled with the c3c compiler. (The fork can be found athttps://github.com/c3lang/vkQuake)
- Procedural "get things done"-type of language.
- Try to stay close to C - only change what's really necessary.
- C ABI compatibility and excellent C integration.
- Learning C3 should be easy for a C programmer.
- Data is inert.
- Avoid "big ideas" & the "more is better" fallacy.
- Introduce some higher level conveniences where the value is great.
C3 owes its inspiration to theC2 language: to iterate on top of C without trying to be awhole new language.
The following code showsgeneric modules (more examples can be found athttps://c3-lang.org/references/docs/examples/).
modulestack (<Type>);// Above: the parameterized type is applied to the entire module.structStack{ usz capacity; usz size; Type* elems;}// The type methods offers dot syntax calls,// so this function can either be called// Stack.push(&my_stack, ...) or// my_stack.push(...)fnvoid Stack.push(Stack*this, Type element){if (this.capacity ==this.size) {this.capacity *=2;if (this.capacity <16)this.capacity =16;this.elems =realloc(this.elems, Type.sizeof *this.capacity); }this.elems[this.size++] = element;}fn Type Stack.pop(Stack*this){assert(this.size >0);returnthis.elems[--this.size];}fnbool Stack.empty(Stack*this){return !this.size;}
Testing it out:
import stack;// Define our new types, the first will implicitly create// a complete copy of the entire Stack module with "Type" set to "int"def IntStack = Stack(<int>);// The second creates another copy with "Type" set to "double"def DoubleStack = Stack(<double>);// If we had added "define IntStack2 = Stack(<int>)"// no additional copy would have been made (since we already// have an parameterization of Stack(<int>)) so it would// be same as declaring IntStack2 an alias of IntStack// Importing an external C function is straightforward// here is an example of importing libc's printf:extern fnintprintf(char* format, ...);fnvoidmain(){ IntStack stack;// Note that C3 uses zero initialization by default// so the above is equivalent to IntStack stack = {}; stack.push(1);// The above can also be written IntStack.push(&stack, 1); stack.push(2);// Prints pop: 2printf("pop: %d\n", stack.pop());// Prints pop: 1printf("pop: %d\n", stack.pop()); DoubleStack dstack; dstack.push(2.3); dstack.push(3.141); dstack.push(1.1235);// Prints pop: 1.123500printf("pop: %f\n", dstack.pop());}
- No mandatory header files
- New semantic macro system
- Module based name spacing
- Slices
- Compile time reflection
- Enhanced compile time execution
- Generics based on generic modules
- "Result"-based zero overhead error handling
- Defer
- Value methods
- Associated enum data
- No preprocessor
- Less undefined behaviour and added runtime checks in "safe" mode
- Limited operator overloading to enable userland dynamic arrays
- Optional pre and post conditions
The current stable version of the compiler isversion 0.6.5.
The upcoming 0.6.x releases will focus on expanding the standard library.Follow the issueshere.
If you have suggestions on how to improve the language, eitherfile an issueor discuss C3 on its dedicated Discord:https://discord.gg/qN76R87.
The compiler is currently verified to compile on Linux, Windows and MacOS.
Support matrix
| Platform | Native C3 compiler available? | Target supported | Stack trace | Threads | Sockets | Inline asm |
|---|---|---|---|---|---|---|
| Win32 x64 | Yes | Yes + cross compilation | Yes | Yes | Yes | Yes* |
| Win32 Aarch64 | Untested | Untested | Untested | Untested | Untested | Yes* |
| MacOS x64 | Yes | Yes + cross compilation | Yes | Yes | Yes | Yes* |
| MacOS Aarch64 | Yes | Yes + cross compilation | Yes | Yes | Yes | Yes* |
| iOS Aarch64 | No | Untested | Untested | Yes | Yes | Yes* |
| Linux x86 | Yes | Yes | Yes | Yes | Yes | Yes* |
| Linux x64 | Yes | Yes | Yes | Yes | Yes | Yes* |
| Linux Aarch64 | Yes | Yes | Yes | Yes | Yes | Yes* |
| Linux Riscv32 | Yes | Yes | Yes | Yes | Yes | Untested |
| Linux Riscv64 | Yes | Yes | Yes | Yes | Yes | Untested |
| ELF freestanding x86 | No | Untested | No | No | No | Yes* |
| ELF freestanding x64 | No | Untested | No | No | No | Yes* |
| ELF freestanding Aarch64 | No | Untested | No | No | No | Yes* |
| ELF freestanding Riscv64 | No | Untested | No | No | No | Untested |
| ELF freestanding Riscv32 | No | Untested | No | No | No | Untested |
| FreeBSD x86 | Untested | Untested | No | Yes | Untested | Yes* |
| FreeBSD x64 | Untested | Untested | No | Yes | Untested | Yes* |
| NetBSD x86 | Untested | Untested | No | Yes | Untested | Yes* |
| NetBSD x64 | Untested | Untested | No | Yes | Untested | Yes* |
| OpenBSD x86 | Untested | Untested | No | Yes | Untested | Yes* |
| OpenBSD x64 | Untested | Untested | No | Yes | Untested | Yes* |
| MCU x86 | No | Untested | No | No | No | Yes* |
| Wasm32 | No | Yes | No | No | No | No |
| Wasm64 | No | Untested | No | No | No | No |
* Inline asm is still a work in progress
More platforms will be supported in the future.
- If you wish to contribute with ideas, please file issues or discuss on Discord.
- Interested in contributing to the stdlib? Please get in touch on Discord.
- Compilation instructions for other Linux and Unix variants are appreciated.
- Would you like to contribute bindings to some library? It would be nice to have support for SDL, Raylib and more.
- Build something with C3 and show it off and give feedback. The language is still open for significant tweaks.
- Start work on the C -> C3 converter which takes C code and does a "best effort" to translate it to C3. The first version only needs to work on C headers.
- Do you have some specific area you have deep knowledge of and could help make C3 even better at doing? File or comment on issues.
- Download the zip file:https://github.com/c3lang/c3c/releases/download/latest/c3-windows.zip(debug versionhere)
- Unzip exe and standard lib.
- If you don't have Visual Studio 17 installed you can either do so, or run the
msvc_build_libraries.pyPython script which will download the necessary files to compile on Windows. - Run
c3c.exe.
- Download tar file:https://github.com/c3lang/c3c/releases/download/latest/c3-linux.tar.gz(debug versionhere)
- Unpack executable and standard lib.
- Run
./c3c.
- Download tar file:https://github.com/c3lang/c3c/releases/download/latest/c3-ubuntu-20.tar.gz(debug versionhere)
- Unpack executable and standard lib.
- Run
./c3c.
- Make sure you have XCode with command line tools installed.
- Download the zip file:https://github.com/c3lang/c3c/releases/download/latest/c3-macos.zip(debug versionhere)
- Unzip executable and standard lib.
- Run
./c3c.
(*Note that there is a known issue with debug symbol generation on MacOS 13, seeissue #1086)
Arch includes c3c in the official 'extra' repo. It can be easily installed the usual way:
sudo pacman -S c3c# or paru -S c3c# or yay -S c3c# or aura -A c3c
There is also an AUR package for the c3c compiler :c3c-git.
You can use your AUR package manager:
paru -S c3c-git# or yay -S c3c-git# or aura -A c3c-git
Or clone it manually:
git clone https://aur.archlinux.org/c3c-git.gitcd c3c-gitmakepkg -siYou can buildc3c using either an Ubuntu 18.04 or 20.04 container:
./build-with-docker.sh 18Replace18 with20 to build through Ubuntu 20.04.
For a release build specify:
./build-with-docker.sh 20 ReleaseAc3c executable will be found underbin/.
- Install CMake:
brew install cmake - Install LLVM 17+:
brew install llvm - Clone the C3C github repository:
git clone https://github.com/c3lang/c3c.git - Enter the C3C directory
cd c3c. - Create a build directory
mkdir build - Change directory to the build directory
cd build - Set up CMake build for debug:
cmake .. - Build:
cmake --build .
Create amain.c3 file with:
module hello_world;import std::io;fnvoidmain(){io::printn("Hello, world!");}
Make sure you have the standard libraries at either../lib/std/ or/lib/std/.
Then run
c3c compile main.c3
The generated binary will by default be named after the module that contains the mainfunction. In our case that ishello_world, so the resulting binary will becalledhello_world orhello_world.exedepending on platform.
- Make sure you have Visual Studio 17 2022 installed or alternatively install the "Buildtools for Visual Studio" (https://aka.ms/vs/17/release/vs_BuildTools.exe) and then select "Desktop development with C++"
- Install CMake
- Clone the C3C github repository:
git clone https://github.com/c3lang/c3c.git - Enter the C3C directory
cd c3c. - Set up the CMake build
cmake -B build -G "Visual Studio 17 2022" -A x64 -DCMAKE_BUILD_TYPE=Release - Build:
cmake --build build --config Release - You should now have the c3c.exe
You should now have ac3c executable.
You can try it out by running some sample code:c3c.exe compile ../resources/examples/hash.c3
Note that if you run into linking issues when building, make sure that you are using the latest version of VS17.
- Make sure you have a C compiler that handles C11 and a C++ compiler, such as GCC or Clang. Git also needs to be installed.
- Install LLVM 18
sudo apt-get install cmake git clang zlib1g zlib1g-dev libllvm18 llvm llvm-dev llvm-runtime liblld-dev liblld-18 libpolly-18-dev - Clone the C3C github repository:
git clone https://github.com/c3lang/c3c.git - Enter the C3C directory
cd c3c. - Create a build directory
mkdir build - Change directory to the build directory
cd build - Set up CMake build:
cmake .. - Build:
cmake --build .
You should now have ac3c executable.
You can try it out by running some sample code:./c3c compile ../resources/examples/hash.c3
- As root, ensure that all project dependencies are installed:
xbps-install git cmake llvm17 llvm17-devel lld17-devel libcurl-devel ncurses-devel zlib-devel libzstd-devel libxml2-devel - Clone the C3C repository:
git clone https://github.com/c3lang/c3c.git- If you only need the latest commit, you may want to make a shallow clone instead:
git clone https://github.com/c3lang/c3c.git --depth=1
- If you only need the latest commit, you may want to make a shallow clone instead:
- Enter the directory:
cd c3c - Create a build directory:
mkdir build - Enter the build directory:
cd build - Create the CMake build cache:
cmake .. - Build:
cmake --build .
Your c3c executable should have compiled properly. You may want to test it:./c3c compile ../resources/examples/hash.c3
For a sytem-wide installation, run the following as root:cmake --install .
- Install CMake.
- Install or compile LLVM and LLDlibraries (version 17+ or higher)
- Clone the C3C github repository:
git clone https://github.com/c3lang/c3c.git - Enter the C3C directory
cd c3c. - Create a build directory
mkdir build - Change directory to the build directory
cd build - Set up CMake build for debug:
cmake ... At this point you may need to manuallyprovide the link path to the LLVM CMake directories, e.g.cmake -DLLVM_DIR=/usr/local/opt/llvm/lib/cmake/llvm/ .. - Build:
cmake --build .
A note on compiling for Linux/Unix/MacOS: to be able to fetch vendor librarieslibcurl is needed. The CMake script should detect it if it is available. Note thatthis functionality is non-essential and it is perfectly fine to user the compiler without it.
The C3 compiler is licensed under LGPL 3.0, the standard library itself isMIT licensed.
Editor plugins can be found athttps://github.com/c3lang/editor-plugins.
- Write the test, either adding to existing test files in
/test/unit/or adda new file. (If testing the standard library, put it in the/test/unit/stdlib/subdirectory). - Make sure that the test functions have the
@testattribute. - Run tests and see that they pass. (Recommended settings:
c3c compile-test -O0 test/unit.- in this example
test/unit/is the relative path to the test directory, so adjust as required)
- in this example
- Make a pull request for the new tests.
A hugeTHANK YOU goes out to all contributors and sponsors.
A special thank you to sponsorsCaleb-o anddevdad for going the extra mile.
About
Fork of C3C that adds VXCC backend support
Resources
License
LGPL-3.0, MIT licenses found
Licenses found
Code of conduct
Uh oh!
There was an error while loading.Please reload this page.
Stars
Watchers
Forks
Releases
Packages0
Languages
- C96.5%
- CMake0.8%
- Yacc0.8%
- Python0.6%
- C++0.4%
- Roff0.3%
- Other0.6%
