Write C smart contracts for signum network. Compile in your browser.
☆21Dec 11, 2024Updated last year
Alternatives and similar repositories for SmartC
Users that are interested in SmartC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Rust library for easily calling ispell and aspell☆13Jul 4, 2020Updated 6 years ago
- ☆15Mar 5, 2023Updated 3 years ago
- Assets Icon components for yew☆13Jun 17, 2021Updated 5 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Reqwest based web bindings for Mailgun's v3 JSON API☆16Jan 4, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LLVM-Lua, is a JIT and static Lua compiler that uses Low Level Virtual Machine (LLVM) as the compiler backend.☆12Jun 5, 2015Updated 11 years ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- A library for extending `Command` in order to execute programs more easily.☆20Aug 1, 2026Updated last month
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- um Bot de Telegram com o intuito de agir como um ser humano comum, gerenciar grupos sozinha e atender alguns pedidos dos membros comuns.☆17Feb 8, 2024Updated 2 years ago
- My emacs config (as a nix flake)☆15Nov 17, 2023Updated 2 years ago
- A Rust library providing components based on the bulma css library for projects using the yew front-end web development framework.☆21May 19, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Port of mini-gmp library to kernel. minigmp.ko linux kernel module.☆16Sep 30, 2016Updated 9 years ago
- ☆11Apr 8, 2025Updated last year
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Sep 11, 2026Updated last week
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- Language server implementation for the miniC programming language☆11Jun 26, 2019Updated 7 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Jul 12, 2022Updated 4 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- Asynchronous I/O framework for C with coroutine scheduling☆16Jul 6, 2025Updated last year
- A proxy that translates the wire protocol from Postgres to Cloud Spanner.☆14Oct 6, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A modern take on an interpreted scripting language☆11May 8, 2025Updated last year
- ☆15Aug 24, 2026Updated 3 weeks ago
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆25Aug 26, 2026Updated 3 weeks ago
- A parser for `git diff` in Elm. Also allows for highlighting of Elm / JSON files.☆14Feb 4, 2021Updated 5 years ago
- A proof-of-concept smart pointer library in C☆22Dec 26, 2018Updated 7 years ago
- An unofficial and unsupported fork of OpenEthereum for Binance Smart Chain.☆23Jan 24, 2025Updated last year
- a new evolutionary highlevel and readable tape language (unlike brainf)☆19Dec 29, 2022Updated 3 years ago
- A basic programming language. The compiler is written in rust using LLVM as it's backend.☆14Sep 4, 2026Updated 2 weeks ago
- Programming language for scripting with syntax similar to C++☆87Jun 21, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a Express style webframework for Igropyr (Chez Scheme http-server)☆22Dec 20, 2022Updated 3 years ago
- Libra é uma linguagem de programação simples com a sintaxe em Português!☆41Jul 22, 2026Updated last month
- This repository is a transcription of the code from the YouTube channel 'Learn to Computer' (https://www.youtube.com/channel/UCcFVlUyZm22…☆11Jun 24, 2020Updated 6 years ago
- Sorted Collections for PHP☆22Apr 19, 2026Updated 5 months ago
- My first gem :) Simple tool to log dead code.☆12Nov 3, 2014Updated 11 years ago
- The Evi programming language☆16Jun 17, 2022Updated 4 years ago
- Utility algorithm for progressive-rendering of 1D and 2D data. Various implementations available (Python, C++, Mathematica, MATLAB).☆20Jan 17, 2025Updated last year