From d59717bec1fee46efe773efa322a264973e4260f Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Tue, 27 Jun 2023 22:36:02 +1000 Subject: [PATCH] Update the projects page with my information --- src/images/logos/animaginary.svg | 12 ----- src/images/logos/chuffed.png | Bin 0 -> 1559 bytes src/images/logos/cosmos.svg | 25 ---------- src/images/logos/helio-stream.svg | 5 -- src/images/logos/minizinc-python.svg | 28 +++++++++++ src/images/logos/minizinc.svg | 67 +++++++++++++++++++++++++++ src/images/logos/open-shuttle.svg | 21 --------- src/images/logos/pindakaas.svg | 5 ++ src/images/logos/planetaria.svg | 24 ---------- src/images/logos/shackle.svg | 1 + src/pages/projects.jsx | 61 +++++++++++------------- 11 files changed, 129 insertions(+), 120 deletions(-) delete mode 100644 src/images/logos/animaginary.svg create mode 100644 src/images/logos/chuffed.png delete mode 100644 src/images/logos/cosmos.svg delete mode 100644 src/images/logos/helio-stream.svg create mode 100644 src/images/logos/minizinc-python.svg create mode 100644 src/images/logos/minizinc.svg delete mode 100644 src/images/logos/open-shuttle.svg create mode 100644 src/images/logos/pindakaas.svg delete mode 100644 src/images/logos/planetaria.svg create mode 100644 src/images/logos/shackle.svg diff --git a/src/images/logos/animaginary.svg b/src/images/logos/animaginary.svg deleted file mode 100644 index ddea3ce..0000000 --- a/src/images/logos/animaginary.svg +++ /dev/null @@ -1,12 +0,0 @@ - - - - - - - - - - - - diff --git a/src/images/logos/chuffed.png b/src/images/logos/chuffed.png new file mode 100644 index 0000000000000000000000000000000000000000..e7f730d18992f87791729e52eac7a9c2194098a5 GIT binary patch literal 1559 zcmeAS@N?(olHy`uVBq!ia0y~yU|a&i985rwk9xC?yXzOTGu&}})4;NkS?CC# zhk&&LZ8q+!W1=#@Jl z9r--<3rmIQ^x^DRpT+Do+uq)B_up~DN`J9>%*)?$9m{vpFNx7BDWllalKF+<-s!S; zi`5T!cidgS=Ce`Np{e^emE7xK-@kEqr|J(kw-w9VHp*8h%f$@m3=A!u>iZu{>}7oL il#YHq^dDHp|Ns9?Ts6*g^1cKhhr!d;&t;ucLK6U$N&rg$ literal 0 HcmV?d00001 diff --git a/src/images/logos/cosmos.svg b/src/images/logos/cosmos.svg deleted file mode 100644 index 1a4a63f..0000000 --- a/src/images/logos/cosmos.svg +++ /dev/null @@ -1,25 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/src/images/logos/helio-stream.svg b/src/images/logos/helio-stream.svg deleted file mode 100644 index 35cc192..0000000 --- a/src/images/logos/helio-stream.svg +++ /dev/null @@ -1,5 +0,0 @@ - - - - - diff --git a/src/images/logos/minizinc-python.svg b/src/images/logos/minizinc-python.svg new file mode 100644 index 0000000..ed3af77 --- /dev/null +++ b/src/images/logos/minizinc-python.svg @@ -0,0 +1,28 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/src/images/logos/minizinc.svg b/src/images/logos/minizinc.svg new file mode 100644 index 0000000..a03d8c2 --- /dev/null +++ b/src/images/logos/minizinc.svg @@ -0,0 +1,67 @@ + +image/svg+xml \ No newline at end of file diff --git a/src/images/logos/open-shuttle.svg b/src/images/logos/open-shuttle.svg deleted file mode 100644 index 3869ef6..0000000 --- a/src/images/logos/open-shuttle.svg +++ /dev/null @@ -1,21 +0,0 @@ - - - - - - - - - - - - - - - - - diff --git a/src/images/logos/pindakaas.svg b/src/images/logos/pindakaas.svg new file mode 100644 index 0000000..84b0df3 --- /dev/null +++ b/src/images/logos/pindakaas.svg @@ -0,0 +1,5 @@ + + + + + diff --git a/src/images/logos/planetaria.svg b/src/images/logos/planetaria.svg deleted file mode 100644 index 77183b7..0000000 --- a/src/images/logos/planetaria.svg +++ /dev/null @@ -1,24 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/src/images/logos/shackle.svg b/src/images/logos/shackle.svg new file mode 100644 index 0000000..b3723e4 --- /dev/null +++ b/src/images/logos/shackle.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/src/pages/projects.jsx b/src/pages/projects.jsx index 53c40c1..7659ba3 100644 --- a/src/pages/projects.jsx +++ b/src/pages/projects.jsx @@ -3,48 +3,43 @@ import Image from 'next/image' import { Card } from '@/components/Card' import { SimpleLayout } from '@/components/SimpleLayout' -import logoAnimaginary from '@/images/logos/animaginary.svg' -import logoCosmos from '@/images/logos/cosmos.svg' -import logoHelioStream from '@/images/logos/helio-stream.svg' -import logoOpenShuttle from '@/images/logos/open-shuttle.svg' -import logoPlanetaria from '@/images/logos/planetaria.svg' +import logoChuffed from '@/images/logos/chuffed.png' +import logoMiniZinc from '@/images/logos/minizinc.svg' +import logoMZNPy from '@/images/logos/minizinc-python.svg' +import logoPindakaas from '@/images/logos/pindakaas.svg' +import logoShackle from '@/images/logos/shackle.svg' import { LinkIcon } from '@/components/SVGIcons' const projects = [ { - name: 'Planetaria', - description: - 'Creating technology to empower civilians to explore space on their own terms.', - link: { href: 'http://planetaria.tech', label: 'planetaria.tech' }, - logo: logoPlanetaria, + name: 'MiniZinc', + description: 'A constraint modelling language for almost all types of optimization solvers.', + link: { href: 'http://www.minizinc.org', label: 'minizinc.org' }, + logo: logoMiniZinc, }, { - name: 'Animaginary', - description: - 'High performance web animation library, hand-written in optimized WASM.', - link: { href: '#', label: 'github.com' }, - logo: logoAnimaginary, + name: 'Chuffed', + description: 'The solver that brought Lazy Clause Generation to the world.', + link: { href: 'https://github.com/chuffed/chuffed', label: 'github.com' }, + logo: logoChuffed, }, { - name: 'HelioStream', - description: - 'Real-time video streaming library, optimized for interstellar transmission.', - link: { href: '#', label: 'github.com' }, - logo: logoHelioStream, + name: 'Shackle', + description: 'The next generation of constraint model rewriting tooling.', + link: { href: 'https://github.com/shackle-rs/shackle', label: 'github.com' }, + logo: logoShackle, }, { - name: 'cosmOS', - description: - 'The operating system that powers our Planetaria space shuttles.', - link: { href: '#', label: 'github.com' }, - logo: logoCosmos, + name: 'Pindakaas', + description: 'A library that helps you create state-of-the-art encodings for Boolean satisfiability solvers.', + link: { href: '#', label: 'TBA' }, + logo: logoPindakaas, }, { - name: 'OpenShuttle', - description: - 'The schematics for the first rocket I designed that successfully made it to orbit.', - link: { href: '#', label: 'github.com' }, - logo: logoOpenShuttle, + name: 'MiniZinc Python', + description: 'Easily run MiniZinc from Python, with incremental solving and direct data access.', + link: { href: 'https://github.com/MiniZinc/minizinc-python', label: 'github.com' }, + logo: logoMZNPy, }, ] @@ -55,12 +50,12 @@ export default function Projects() { Projects - Jip J. Dekker