Pinned

1. nengo-3d nengo-3d Public

   GUI for Nengo simulator integrated with Blender

   Python

2. program-synthesis-documentation program-synthesis-documentation Public

   Many resources about program synthesis

   Python 5

3. sat-research sat-research Public

   master repo for logic formula generation

   Python

4. blender-operator-complete blender-operator-complete Public

   VS code extension that provides autocompletion and go to definition for Blender operator strings

   TypeScript 1

5. game-of-life game-of-life Public

   My term project to IT

   Python 1

6. actionlint-py actionlint-py Public

   Same as https://github.com/shellcheck-py/shellcheck-py but for actionlint

   Python 8 1