A small tool to export latex/python driven text into questions in Moodle tests
☆15Jul 21, 2022Updated 3 years ago
Alternatives and similar repositories for moodlexport
Users that are interested in moodlexport are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Generate zero-knowledge proofs of valid RSA signatures from your browser.☆15Feb 23, 2023Updated 3 years ago
- Web graphic applications with Processing.js.☆24Jun 1, 2016Updated 10 years ago
- A collection of all the project ideas involving zk, blockchains & what not☆23Aug 30, 2023Updated 2 years ago
- Monitor and display signal waveforms from your MyHDL/nMigen digital design in a Jupyter notebook.☆40Jan 22, 2026Updated 4 months 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.
- In-browser ECDSA aggregation using Nova over secp/secq☆35Sep 13, 2023Updated 2 years ago
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated 7 months ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated 2 years ago
- ☆79Sep 17, 2025Updated 8 months ago
- Client side zero-knowledge proving.☆106Updated this week
- An advanced fork of Nova (contact:@huitseeker)☆91Mar 3, 2025Updated last year
- Bitcoin Script VM in Cairo☆73Jun 2, 2025Updated last year
- halo2 ecc circuit☆117Feb 17, 2023Updated 3 years ago
- R1CS constraints for bits, fields, and elliptic curves☆191Apr 27, 2026Updated last month
- 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.
- Evolution of the Ethereum Proof-of-Stake Consensus Protocol☆174Aug 10, 2023Updated 2 years ago
- Learn Ethereum Solidity programming through test driven development (inspired by Ruby Koans)☆104Apr 30, 2019Updated 7 years ago
- Making client-side ZK proving on mobile simple.☆236May 30, 2026Updated last week
- Source code for "Building Cryptographic Proofs from Hash Functions"☆233Mar 25, 2026Updated 2 months ago
- Experimental folding schemes library☆276Jun 3, 2026Updated last week
- A trustless P2P fiat onramp powered by ZK proofs.☆338Jun 18, 2025Updated 11 months ago
- A refreshed Python toolbox for building complex digital hardware. See https://gitlab.com/nmigen/nmigen☆687Jan 8, 2022Updated 4 years ago
- An open-source static random access memory (SRAM) compiler.☆1,066May 15, 2026Updated 3 weeks ago
- Extend existing LLMs way beyond the original training length with constant memory usage, without retraining☆736Apr 10, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- SKiDL is a library that lets you design electronic circuits using Python.☆1,536May 29, 2026Updated last week
- Argument Parser for Modern C++☆3,475Jan 26, 2025Updated last year
- A Comprehensive Benchmark to Evaluate LLMs as Agents (ICLR'24)☆3,472Feb 8, 2026Updated 4 months ago
- Verilog Ethernet components for FPGA implementation☆2,982Feb 27, 2025Updated last year
- Verilator open-source SystemVerilog simulator and lint system☆3,654Updated this week
- CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.☆4,313Jun 3, 2026Updated last week
- PicoRV32 - A Size-Optimized RISC-V CPU☆4,188Jun 27, 2024Updated last year
- 🎥 Make videos programmatically with React☆49,231Updated this week
- Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!☆42,815Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🐸💬 - a deep learning toolkit for Text-to-Speech, battle-tested in research and production☆45,517Aug 16, 2024Updated last year
- Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!☆39,505Nov 27, 2022Updated 3 years ago
- 📚 Papers & tech blogs by companies sharing their work on data science & machine learning in production.☆29,647Jul 18, 2024Updated last year
- 🗂 The essential checklist for modern web development, for humans and AI agents☆72,860Jun 2, 2026Updated last week
- Open source home automation that puts local control and privacy first.☆87,555Updated this week
- Animation engine for explanatory math videos☆87,426Apr 18, 2026Updated last month
- A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. …☆115,646Updated this week