mirror of
https://github.com/gentoo-mirror/guru.git
synced 2025-04-20 00:08:58 -04:00
TODO.md: use emojis instead of yes no
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
parent
f9346d72dc
commit
9f723576b7
188
TODO.md
188
TODO.md
@ -4,102 +4,102 @@ If you find an interesting piece of software here, consider to package it, also
|
||||
|
||||
Name | Buildsystem | Category | User | RFH
|
||||
------------ | ------------- | ------------- | ------------- | -------------
|
||||
[spacelib](https://github.com/Alessandro-Barbieri/SpaceLib) | none | science | Alessandro-Barbieri | no
|
||||
[cpp-fuzzy-logic](https://sourceforge.net/projects/cpp-fuzzy-logic) | none | devel | Alessandro-Barbieri | no
|
||||
[free fuzzy logic library](http://ffll.sourceforge.net) | none | devel | Alessandro-Barbieri | no
|
||||
[solarized](https://github.com/altercation/solarized) | none | shell | Alessandro-Barbieri | yes
|
||||
[fizsh](https://github.com/zsh-users/fizsh) | none | shell | Alessandro-Barbieri | no
|
||||
[zsh-directory-history](https://github.com/tymm/zsh-directory-history) | none | shell | Alessandro-Barbieri | no
|
||||
[zsh-you-should-use](https://github.com/MichaelAquilina/zsh-you-should-use) | none | shell | Alessandro-Barbieri | no
|
||||
[forgit](https://github.com/wfxr/forgit) | none | shell | Alessandro-Barbieri | no
|
||||
[openocl](https://openocl.org/) | none | octave | Alessandro-Barbieri | no
|
||||
[octave-scicosim](https://wiki.octave.org/Sci_cosim) | none | octave | Alessandro-Barbieri | no
|
||||
[nerd-fonts](https://nerdfonts.com) | none | fonts | Alessandro-Barbieri | yes
|
||||
[silk-guardian](https://github.com/NateBrune/silk-guardian) | make | util | Alessandro-Barbieri | no
|
||||
[spacelib](https://github.com/Alessandro-Barbieri/SpaceLib) | none | science | Alessandro-Barbieri | ✖
|
||||
[cpp-fuzzy-logic](https://sourceforge.net/projects/cpp-fuzzy-logic) | none | devel | Alessandro-Barbieri | ✖
|
||||
[free fuzzy logic library](http://ffll.sourceforge.net) | none | devel | Alessandro-Barbieri | ✖
|
||||
[solarized](https://github.com/altercation/solarized) | none | shell | Alessandro-Barbieri | ✔
|
||||
[fizsh](https://github.com/zsh-users/fizsh) | none | shell | Alessandro-Barbieri | ✖
|
||||
[zsh-directory-history](https://github.com/tymm/zsh-directory-history) | none | shell | Alessandro-Barbieri | ✖
|
||||
[zsh-you-should-use](https://github.com/MichaelAquilina/zsh-you-should-use) | none | shell | Alessandro-Barbieri | ✖
|
||||
[forgit](https://github.com/wfxr/forgit) | none | shell | Alessandro-Barbieri | ✖
|
||||
[openocl](https://openocl.org/) | none | octave | Alessandro-Barbieri | ✖
|
||||
[octave-scicosim](https://wiki.octave.org/Sci_cosim) | none | octave | Alessandro-Barbieri | ✖
|
||||
[nerd-fonts](https://nerdfonts.com) | none | fonts | Alessandro-Barbieri | ✔
|
||||
[silk-guardian](https://github.com/NateBrune/silk-guardian) | make | util | Alessandro-Barbieri | ✖
|
||||
[retroarch](https://www.retroarch.com/) | make | game | NicolaSmaniotto |
|
||||
[lucida](https://github.com/claritylab/lucida) | make | | Alessandro-Barbieri | yes
|
||||
[embedded fuzzy logic library](https://github.com/zerokol/eFLL) | make | devel | Alessandro-Barbieri | no
|
||||
[Intel-sgx](https://01.org/intel-softwareguard-extensions) | make | devel | Alessandro-Barbieri | yes
|
||||
[compcert](https://compcert.org) | make | compiler | Alessandro-Barbieri | yes
|
||||
[predictive](https://www.dr-qubit.org/predictive.html) | make | emacs | Alessandro-Barbieri | yes
|
||||
[tau](http://www.cs.uoregon.edu/research/tau/home.php) | make | tools | Alessandro-Barbieri | no
|
||||
[plasma](https://github.com/NLAFET/plasma) | make | science | Alessandro-Barbieri | yes
|
||||
[imb](https://software.intel.com/content/www/us/en/develop/articles/intel-mpi-benchmarks.html) | make | cluster | Alessandro-Barbieri | no
|
||||
[gnat-llvm](https://github.com/AdaCore/gnat-llvm) | make | compiler | Alessandro-Barbieri | yes
|
||||
[csparse](https://people.sc.fsu.edu/~jburkardt/c_src/csparse/csparse.html) | make | science | Alessandro-Barbieri | no
|
||||
[dimemas](https://github.com/bsc-performance-tools/dimemas) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[argobots](https://www.argobots.org/) | autotools | devel | Alessandro-Barbieri | no
|
||||
[mochi-ssg](https://github.com/mochi-hpc/mochi-ssg) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[mochi-margo](https://github.com/mochi-hpc/mochi-margo) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[mochi-abt-io](https://github.com/mochi-hpc/mochi-abt-io) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[machinekit](https://github.com/machinekit/machinekit) | autotools | science | Alessandro-Barbieri | yes
|
||||
[libreoffice-online](https://github.com/LibreOffice/online) | autotools | office | Alessandro-Barbieri | yes
|
||||
[latte-integrale](https://www.math.ucdavis.edu/~latte/) | autotools | math | Alessandro-Barbieri | yes
|
||||
[bonmin](https://projects.coin-or.org/Bonmin) | autotools | math | Alessandro-Barbieri | no
|
||||
[graph-tool](https://graph-tool.skewed.de/) | autotools | visualization | Alessandro-Barbieri | no
|
||||
[tides](https://sourceforge.net/projects/tidesodes/) | autotools | math | Alessandro-Barbieri | no
|
||||
[Cakeml](https://cakeml.org/) | autotools | ML | Alessandro-Barbieri | yes
|
||||
[temanejo](https://www.hlrs.de/solutions-services/service-portfolio/programming/hpc-development-tools/temanejo) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[geopm](https://geopm.github.io/) | autotools | power | Alessandro-Barbieri | no
|
||||
[warewulf](https://warewulf.lbl.gov/) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[omb](http://mvapich.cse.ohio-state.edu/download/mvapich/osu-micro-benchmarks-5.8.tgz) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[scalasca](https://scalasca.org/) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[scorep](https://www.vi-hps.org/projects/score-p/) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[jmodelica](https://github.com/jnorthrup/jmodelica) | autotools | science | Alessandro-Barbieri | yes
|
||||
[flux-core](https://github.com/flux-framework/flux-core) | autotools | cluster | Alessandro-Barbieri | yes
|
||||
[GPI-2](https://github.com/cc-hpc-itwm/GPI-2) | autotools | cluster | Alessandro-Barbieri | no
|
||||
[blasfeo](https://github.com/giaf/blasfeo) | cmake | science | Alessandro-Barbieri | yes
|
||||
[libfixmath](https://github.com/PetteriAimonen/libfixmath) | cmake | devel | Alessandro-Barbieri | no
|
||||
[hpmpc](https://github.com/giaf/hpmpc) | cmake | science | Alessandro-Barbieri | no
|
||||
[mercury](https://github.com/mercury-hpc/mercury) | cmake | cluster | Alessandro-Barbieri | no
|
||||
[chrono](https://projectchrono.org/) | cmake | science | Alessandro-Barbieri | no
|
||||
[cocos2d-x](https://github.com/cocos2d/cocos2d-x) | cmake | game | Alessandro-Barbieri | yes
|
||||
[opensiv3d](https://github.com/Siv3D/OpenSiv3D) | cmake | game | Alessandro-Barbieri | yes
|
||||
[grive2](https://github.com/vitalif/grive2) | cmake | filesystem | Alessandro-Barbieri | no
|
||||
[chapel](https://github.com/chapel-lang/chapel) | make | science | Alessandro-Barbieri | yes
|
||||
[osmium](https://wiki.openstreetmap.org/wiki/Osmium) | cmake | geography | Alessandro-Barbieri | no
|
||||
[fuzzylite](https://github.com/fuzzylite/fuzzylite) | cmake | devel | Alessandro-Barbieri | no
|
||||
[valhalla](https://github.com/valhalla/valhalla) | cmake | geography | Alessandro-Barbieri | no
|
||||
[openenclave](https://openenclave.io/sdk/) | cmake | util | Alessandro-Barbieri | no
|
||||
[alpaka](https://github.com/alpaka-group/alpaka) | cmake | science | Alessandro-Barbieri | no
|
||||
[mochi-thallium](https://github.com/mochi-hpc/mochi-thallium) | cmake | cluster | Alessandro-Barbieri | no
|
||||
[flexiblas](https://www.mpi-magdeburg.mpg.de/projects/flexiblas) | cmake | science | Alessandro-Barbieri | yes
|
||||
[blitz](https://github.com/blitzpp/blitz) | cmake | c++ | Alessandro-Barbieri | no
|
||||
[strumpack](https://portal.nersc.gov/project/sparse/strumpack/) | cmake | science | Alessandro-Barbieri | no
|
||||
[butterflypack](https://github.com/liuyangzhuan/ButterflyPACK) | cmake | math | Alessandro-Barbieri | no
|
||||
[adios](https://csmd.ornl.gov/adios) | cmake | cluster | Alessandro-Barbieri | no
|
||||
[superlu_dist](https://github.com/xiaoyeli/superlu_dist) | cmake | science | Alessandro-Barbieri | no
|
||||
[mfem](https://mfem.org/) | cmake | science | Alessandro-Barbieri | no
|
||||
[fmi-library](https://github.com/modelon-community/fmi-library) | cmake | science | Alessandro-Barbieri | no
|
||||
[aerodyn](https://github.com/OpenFAST/openfast/tree/main/modules/aerodyn) | cmake | science | Alessandro-Barbieri | no
|
||||
[llvm-ompss2](https://github.com/bsc-pm/llvm) | cmake | cluster | Alessandro-Barbieri | yes
|
||||
[pagmo](https://esa.github.io/pagmo2/) | cmake | science | Alessandro-Barbieri | no
|
||||
[osqp](https://github.com/osqp/osqp) | cmake | science | Alessandro-Barbieri | no
|
||||
[superscs](https://github.com/kul-optec/superscs) | cmake | science | Alessandro-Barbieri | no
|
||||
[enarx](https://enarx.dev/) | cargo | util | Alessandro-Barbieri | no
|
||||
[ruplacer](https://github.com/dmerejkowsky/ruplacer) | cargo | sys | Alessandro-Barbieri | no
|
||||
[gping](https://github.com/orf/gping) | cargo | net | Alessandro-Barbieri | no
|
||||
[open-match](https://github.com/googleforgames/open-match) | go | devel | Alessandro-Barbieri | yes
|
||||
[gridstudio](https://github.com/ricklamers/gridstudio) | go | visualization | Alessandro-Barbieri | yes
|
||||
[osmosis](https://wiki.openstreetmap.org/wiki/Osmosis) | gradle | geography | Alessandro-Barbieri | yes
|
||||
[Opensearch](https://github.com/opensearch-project/OpenSearch) | gradle | | Alessandro-Barbieri | yes
|
||||
[cocalc](https://github.com/sagemathinc/cocalc) | npm | math | Alessandro-Barbieri | yes
|
||||
[node-red](https://nodered.org/) | npm | programming | Alessandro-Barbieri | yes
|
||||
[tangram](https://github.com/tangrams/tangram) | npm | geoscience | Alessandro-Barbieri | yes
|
||||
[ijavascript](https://github.com/n-riesco/ijavascript) | npm | jupyter | Alessandro-Barbieri | yes
|
||||
[pelias](https://github.com/pelias/pelias) | npm | geoscience | Alessandro-Barbieri | yes
|
||||
[carto](https://github.com/mapbox/carto) | npm | geoscience | Alessandro-Barbieri | yes
|
||||
[bee-node-dashboard](https://github.com/iotaledger/node-dashboard) | npm | cryptocurrencies | Alessandro-Barbieri | yes
|
||||
[Gitfs](https://github.com/presslabs/gitfs) | setuptools | filesystem | Alessandro-Barbieri | yes
|
||||
[usbkill](https://github.com/hephaest0s/usbkill) | setuptools | util | Alessandro-Barbieri | no
|
||||
[blockify](https://github.com/serialoverflow/blockify) | setuptools | audio | Alessandro-Barbieri | no
|
||||
[lucida](https://github.com/claritylab/lucida) | make | | Alessandro-Barbieri | ✔
|
||||
[embedded fuzzy logic library](https://github.com/zerokol/eFLL) | make | devel | Alessandro-Barbieri | ✖
|
||||
[Intel-sgx](https://01.org/intel-softwareguard-extensions) | make | devel | Alessandro-Barbieri | ✔
|
||||
[compcert](https://compcert.org) | make | compiler | Alessandro-Barbieri | ✔
|
||||
[predictive](https://www.dr-qubit.org/predictive.html) | make | emacs | Alessandro-Barbieri | ✔
|
||||
[tau](http://www.cs.uoregon.edu/research/tau/home.php) | make | tools | Alessandro-Barbieri | ✖
|
||||
[plasma](https://github.com/NLAFET/plasma) | make | science | Alessandro-Barbieri | ✔
|
||||
[imb](https://software.intel.com/content/www/us/en/develop/articles/intel-mpi-benchmarks.html) | make | cluster | Alessandro-Barbieri | ✖
|
||||
[gnat-llvm](https://github.com/AdaCore/gnat-llvm) | make | compiler | Alessandro-Barbieri | ✔
|
||||
[csparse](https://people.sc.fsu.edu/~jburkardt/c_src/csparse/csparse.html) | make | science | Alessandro-Barbieri | ✖
|
||||
[dimemas](https://github.com/bsc-performance-tools/dimemas) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[argobots](https://www.argobots.org/) | autotools | devel | Alessandro-Barbieri | ✖
|
||||
[mochi-ssg](https://github.com/mochi-hpc/mochi-ssg) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[mochi-margo](https://github.com/mochi-hpc/mochi-margo) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[mochi-abt-io](https://github.com/mochi-hpc/mochi-abt-io) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[machinekit](https://github.com/machinekit/machinekit) | autotools | science | Alessandro-Barbieri | ✔
|
||||
[libreoffice-online](https://github.com/LibreOffice/online) | autotools | office | Alessandro-Barbieri | ✔
|
||||
[latte-integrale](https://www.math.ucdavis.edu/~latte/) | autotools | math | Alessandro-Barbieri | ✔
|
||||
[bonmin](https://projects.coin-or.org/Bonmin) | autotools | math | Alessandro-Barbieri | ✖
|
||||
[graph-tool](https://graph-tool.skewed.de/) | autotools | visualization | Alessandro-Barbieri | ✖
|
||||
[tides](https://sourceforge.net/projects/tidesodes/) | autotools | math | Alessandro-Barbieri | ✖
|
||||
[Cakeml](https://cakeml.org/) | autotools | ML | Alessandro-Barbieri | ✔
|
||||
[temanejo](https://www.hlrs.de/solutions-services/service-portfolio/programming/hpc-development-tools/temanejo) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[geopm](https://geopm.github.io/) | autotools | power | Alessandro-Barbieri | ✖
|
||||
[warewulf](https://warewulf.lbl.gov/) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[omb](http://mvapich.cse.ohio-state.edu/download/mvapich/osu-micro-benchmarks-5.8.tgz) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[scalasca](https://scalasca.org/) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[scorep](https://www.vi-hps.org/projects/score-p/) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[jmodelica](https://github.com/jnorthrup/jmodelica) | autotools | science | Alessandro-Barbieri | ✔
|
||||
[flux-core](https://github.com/flux-framework/flux-core) | autotools | cluster | Alessandro-Barbieri | ✔
|
||||
[GPI-2](https://github.com/cc-hpc-itwm/GPI-2) | autotools | cluster | Alessandro-Barbieri | ✖
|
||||
[blasfeo](https://github.com/giaf/blasfeo) | cmake | science | Alessandro-Barbieri | ✔
|
||||
[libfixmath](https://github.com/PetteriAimonen/libfixmath) | cmake | devel | Alessandro-Barbieri | ✖
|
||||
[hpmpc](https://github.com/giaf/hpmpc) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[mercury](https://github.com/mercury-hpc/mercury) | cmake | cluster | Alessandro-Barbieri | ✖
|
||||
[chrono](https://projectchrono.org/) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[cocos2d-x](https://github.com/cocos2d/cocos2d-x) | cmake | game | Alessandro-Barbieri | ✔
|
||||
[opensiv3d](https://github.com/Siv3D/OpenSiv3D) | cmake | game | Alessandro-Barbieri | ✔
|
||||
[grive2](https://github.com/vitalif/grive2) | cmake | filesystem | Alessandro-Barbieri | ✖
|
||||
[chapel](https://github.com/chapel-lang/chapel) | make | science | Alessandro-Barbieri | ✔
|
||||
[osmium](https://wiki.openstreetmap.org/wiki/Osmium) | cmake | geography | Alessandro-Barbieri | ✖
|
||||
[fuzzylite](https://github.com/fuzzylite/fuzzylite) | cmake | devel | Alessandro-Barbieri | ✖
|
||||
[valhalla](https://github.com/valhalla/valhalla) | cmake | geography | Alessandro-Barbieri | ✖
|
||||
[openenclave](https://openenclave.io/sdk/) | cmake | util | Alessandro-Barbieri | ✖
|
||||
[alpaka](https://github.com/alpaka-group/alpaka) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[mochi-thallium](https://github.com/mochi-hpc/mochi-thallium) | cmake | cluster | Alessandro-Barbieri | ✖
|
||||
[flexiblas](https://www.mpi-magdeburg.mpg.de/projects/flexiblas) | cmake | science | Alessandro-Barbieri | ✔
|
||||
[blitz](https://github.com/blitzpp/blitz) | cmake | c++ | Alessandro-Barbieri | ✖
|
||||
[strumpack](https://portal.nersc.gov/project/sparse/strumpack/) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[butterflypack](https://github.com/liuyangzhuan/ButterflyPACK) | cmake | math | Alessandro-Barbieri | ✖
|
||||
[adios](https://csmd.ornl.gov/adios) | cmake | cluster | Alessandro-Barbieri | ✖
|
||||
[superlu_dist](https://github.com/xiaoyeli/superlu_dist) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[mfem](https://mfem.org/) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[fmi-library](https://github.com/modelon-community/fmi-library) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[aerodyn](https://github.com/OpenFAST/openfast/tree/main/modules/aerodyn) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[llvm-ompss2](https://github.com/bsc-pm/llvm) | cmake | cluster | Alessandro-Barbieri | ✔
|
||||
[pagmo](https://esa.github.io/pagmo2/) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[osqp](https://github.com/osqp/osqp) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[superscs](https://github.com/kul-optec/superscs) | cmake | science | Alessandro-Barbieri | ✖
|
||||
[enarx](https://enarx.dev/) | cargo | util | Alessandro-Barbieri | ✖
|
||||
[ruplacer](https://github.com/dmerejkowsky/ruplacer) | cargo | sys | Alessandro-Barbieri | ✖
|
||||
[gping](https://github.com/orf/gping) | cargo | net | Alessandro-Barbieri | ✖
|
||||
[open-match](https://github.com/googleforgames/open-match) | go | devel | Alessandro-Barbieri | ✔
|
||||
[gridstudio](https://github.com/ricklamers/gridstudio) | go | visualization | Alessandro-Barbieri | ✔
|
||||
[osmosis](https://wiki.openstreetmap.org/wiki/Osmosis) | gradle | geography | Alessandro-Barbieri | ✔
|
||||
[Opensearch](https://github.com/opensearch-project/OpenSearch) | gradle | | Alessandro-Barbieri | ✔
|
||||
[cocalc](https://github.com/sagemathinc/cocalc) | npm | math | Alessandro-Barbieri | ✔
|
||||
[node-red](https://nodered.org/) | npm | programming | Alessandro-Barbieri | ✔
|
||||
[tangram](https://github.com/tangrams/tangram) | npm | geoscience | Alessandro-Barbieri | ✔
|
||||
[ijavascript](https://github.com/n-riesco/ijavascript) | npm | jupyter | Alessandro-Barbieri | ✔
|
||||
[pelias](https://github.com/pelias/pelias) | npm | geoscience | Alessandro-Barbieri | ✔
|
||||
[carto](https://github.com/mapbox/carto) | npm | geoscience | Alessandro-Barbieri | ✔
|
||||
[bee-node-dashboard](https://github.com/iotaledger/node-dashboard) | npm | cryptocurrencies | Alessandro-Barbieri | ✔
|
||||
[Gitfs](https://github.com/presslabs/gitfs) | setuptools | filesystem | Alessandro-Barbieri | ✔
|
||||
[usbkill](https://github.com/hephaest0s/usbkill) | setuptools | util | Alessandro-Barbieri | ✖
|
||||
[blockify](https://github.com/serialoverflow/blockify) | setuptools | audio | Alessandro-Barbieri | ✖
|
||||
[foobnix](https://github.com/foobnix/foobnix) | setuptools | audio | |
|
||||
[TauonMusicBox](https://github.com/Taiko2k/TauonMusicBox) | setuptools | audio | |
|
||||
[mmtracking](https://github.com/open-mmlab/mmtracking) | setuptools | science | Alessandro-Barbieri | no
|
||||
[mmtracking](https://github.com/open-mmlab/mmtracking) | setuptools | science | Alessandro-Barbieri | ✖
|
||||
[ueberzug](https://github.com/seebye/ueberzug) | setuptools | cli | N-R-K |
|
||||
[greenclip](https://github.com/erebe/greenclip) | cabal | desktop | N-R-K |
|
||||
[kaitai](https://github.com/kaitai-io/kaitai_struct) | sbt | util | Alessandro-Barbieri | yes
|
||||
[casadi](https://web.casadi.org/) | cmake swig | science | Alessandro-Barbieri | no
|
||||
[ipyleaflet](https://github.com/jupyter-widgets/ipyleaflet) | setuptools yarn | jupyter | Alessandro-Barbieri | yes
|
||||
[gitlab](https://gitlab.com/gitlab-org/gitlab-foss) | yarn gem | vcs | Alessandro-Barbieri | yes
|
||||
[HOL4](http://hol-theorem-prover.org/) | ? | math | Alessandro-Barbieri | yes
|
||||
[kaitai](https://github.com/kaitai-io/kaitai_struct) | sbt | util | Alessandro-Barbieri | ✔
|
||||
[casadi](https://web.casadi.org/) | cmake swig | science | Alessandro-Barbieri | ✖
|
||||
[ipyleaflet](https://github.com/jupyter-widgets/ipyleaflet) | setuptools yarn | jupyter | Alessandro-Barbieri | ✔
|
||||
[gitlab](https://gitlab.com/gitlab-org/gitlab-foss) | yarn gem | vcs | Alessandro-Barbieri | ✔
|
||||
[HOL4](http://hol-theorem-prover.org/) | ? | math | Alessandro-Barbieri | ✔
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user