Animated code & data structures with LaTeX/beamer
☆14Feb 7, 2020Updated 6 years ago
Alternatives and similar repositories for codanim
Users that are interested in codanim are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Mar 28, 2026Updated 6 months ago
- Illustrates invalid back stacks on Android and offers a resolution☆11Jun 1, 2018Updated 8 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- 3DGB is a workflow to build 3D models of genomes from HiC data☆13May 6, 2026Updated 5 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.
- Light Weight Cells☆20Oct 6, 2024Updated 2 years ago
- Managing sequencing data with RDF☆13Sep 15, 2023Updated 3 years ago
- ☆13Jan 9, 2022Updated 4 years ago
- A python solver of futoshikis from an image☆11Jul 24, 2023Updated 3 years ago
- This unofficial LaTeX package provides a class for creating documents for people working with Nankai University. Updated to 2026/05/28.☆11May 28, 2026Updated 4 months ago
- A Smalltalk port of the QuickCheck unit test framework☆12May 9, 2020Updated 6 years ago
- ☆16Aug 23, 2023Updated 3 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- A LaTeX package for drawing genetic construct pictograms using TikZ.☆12Jan 26, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A few examples for the latex chemfig package.☆13Jun 11, 2022Updated 4 years ago
- The code that drives https://hpc.guix.info/browse.☆12Sep 14, 2025Updated last year
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 11 years ago
- Computational biology for Lua.☆10Nov 6, 2017Updated 8 years ago
- experimental package for direct comversion from LaTeX to html using tex4ht and LuaLaTeX☆10Jul 11, 2018Updated 8 years ago
- ☆11Oct 7, 2021Updated 5 years ago
- Haskell implementation of SHA / SHA2 hash functions☆13Mar 15, 2018Updated 8 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Orgmode exporter for Taskjuggler☆13Oct 8, 2026Updated 2 weeks ago
- BirdNET App for RaspberryPi/BeagleBone.☆13Feb 5, 2024Updated 2 years ago
- A bird guide for android devices☆11Oct 28, 2017Updated 8 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- ▲ My super website built with SvelteKit and served on Vercel.☆11Apr 22, 2024Updated 2 years ago
- inklayers is a command line program that exports layers from an SVG file. It can be used to create slide shows by editing a single SVG fi…☆12Sep 30, 2022Updated 4 years ago
- ☆19Feb 26, 2022Updated 4 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆11Sep 23, 2020Updated 6 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.
- Recovered files for Smalltalk-80 on the Alto☆12Oct 10, 2018Updated 8 years ago
- A vimscript unit testing library☆12Apr 13, 2018Updated 8 years ago
- hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as …☆15Mar 20, 2012Updated 14 years ago
- Common Lisp to WebAssembly compiler using WasmGC☆26Jan 25, 2026Updated 8 months ago
- Awesome looking, light theme, fully responsive landing page.☆12Jul 8, 2021Updated 5 years ago
- A simple bash script to make Travis CI publish a GitHub Release and upload assets upon pushing a tag.☆10Apr 16, 2017Updated 9 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago