profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/guaraqe/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Juan Raphael Diaz Simões guaraqe @tweag Tashkent, Uzbekistan http://www.guaraqe.gq

guaraqe/nonempty-alternative 2

Alternative generalization of NonEmpty lists.

guaraqe/constraint-classes 1

Various type classes using ConstraintKinds

guaraqe/do 1

A tool for defining command line interfaces in folders

guaraqe/idris-exercises 1

Solution to some basic Idris exercises

guaraqe/LATS 1

Linear Algebra on Typed Spaces

guaraqe/opengl-glfw-tutorial-haskell 1

OpenGL-GLFW Haskell Tutorial

guaraqe/pomodoro 1

Command line utility for the Pomodoro Method written in Haskell

issue commenttweag/jupyterWith

feature: Typescript Kernel

Hello! Creating a kernel is not very difficult -- it consists on packaging that gives the kernel executable (or finding it on Nixpkgs), and writing a kernel file. Each one of the subfolder in the kernels folder is an example of package. If you want to try, I recommend choosing one of the smallest definitions, and to try replication it for ts-lab.

nazzacode

comment created time in a day

push eventtweag/jupyterWith

Vaibhav Sagar

commit sha 5470dc243b1a9a989c3c72fe4e7141d63c0fd619

kernels/ihaskell: install jupyterlab-ihaskell automatically

view details

Juan Raphael Diaz Simões

commit sha c71a01a39a3f51951da0dbf0192cf9d1d000151b

Merge pull request #168 from vaibhavsagar/jupyterlab-ihaskell-prebuilt kernels/ihaskell: install jupyterlab-ihaskell automatically

view details

push time in 6 days

PR merged tweag/jupyterWith

kernels/ihaskell: install jupyterlab-ihaskell automatically

As discussed in https://github.com/tweag/jupyterWith/pull/167#issuecomment-917850551.

+81 -3

2 comments

7 changed files

vaibhavsagar

pr closed time in 6 days

pull request commenttweag/jupyterWith

kernels/ihaskell: install jupyterlab-ihaskell automatically

This works very well, thanks! I will merge like that and we can think about another approach later, this is already better than what we have.

How would an update of the extension happen (will it be needed often)?

vaibhavsagar

comment created time in 6 days

pull request commenttweag/jupyterWith

kernels/ihaskell: add kernel.js for syntax highlighting in classic notebook interface

My pleasure! IHaskell also now provides a prebuilt extension for syntax highlighting in JupyterLab here, would it be helpful for me to open a PR for that as well?

We currently have lots of diffuse advices on the main README of how to use the extension (impure building, code mirror, local version, etc...), do you think we can do something out-of-the box? If we can, that would be very useful!

vaibhavsagar

comment created time in 9 days

push eventtweag/jupyterWith

Vaibhav Sagar

commit sha f8acd39ac9c1c4c2aba468b7fe071a7103db44d0

kernels/ihaskell: add kernel.js for syntax highlighting in classic notebook interface

view details

Juan Raphael Diaz Simões

commit sha 13365c11896773b4679d45db1aba057c01874d6b

Merge pull request #167 from vaibhavsagar/ihaskell-notebook-syntax-highlighting kernels/ihaskell: add kernel.js for syntax highlighting in classic notebook interface

view details

push time in 9 days

pull request commenttweag/jupyterWith

kernels/ihaskell: add kernel.js for syntax highlighting in classic notebook interface

This is very useful, thank you!

vaibhavsagar

comment created time in 9 days

push eventtweag/jupyterWith

Matthieu Coudron

commit sha 020229c73b5c206bb140602bbe467b951ac59206

flake: fix usage of overlay in other flakes Without this, it was possible to importer the jupyterWith attribute without its python and haskell overlays, thus ending up with errors like error: attribute 'jupyter_contrib_core' missing

view details

Matthieu Coudron

commit sha 349cea3d3f5886f593324dda3087e439da8b4002

flake: some fixes to pass nix flake check jupyterWith is an attrset so let's not use it as a package

view details

Matthieu Coudron

commit sha b9b96b106797afacc0cce75ac83407d00ec6b2f6

example: fix flake

view details

Juan Raphael Diaz Simões

commit sha 6024eb9329c5f47102adc26f541712121bba62d4

Merge pull request #164 from teto/fix-flake Fix flake

view details

push time in 20 days

PR merged tweag/jupyterWith

Fix flake

I've tried using the flake in my project referencing jupyterWith.overlay but it failed with error: attribute 'jupyter_contrib_core' missing. I fixed that and made it pass nix flake check. There is a breaking change though.

+29 -26

4 comments

6 changed files

teto

pr closed time in 20 days

pull request commenttweag/jupyterWith

Fix flake

This is working now, thank you!

teto

comment created time in 20 days

pull request commenttweag/jupyterWith

Fix flake

Thanks for the PR, I'm not very experienced with Flakes yet, this is useful. I launched tests.

I have the impression that the changes to the two overlay files are superficial, can you keep the original?

@GTrunSec Since you wrote the Flake, can you take a look at the PR?

teto

comment created time in 20 days

push eventtweag/jupyterWith

FuseTim

commit sha 6cd536d613905909dd5c5e7d35d669e48944ebaf

add ocaml kernel Using as a kernel, ocaml-jupyter by akabe. Based on this gist: https://gist.github.com/fusetim/e59b17fc9bac31f2e43174fccd14d7e9 Closes GH-162 Ref: https://github.com/akabe/ocaml-jupyter Ref: https://github.com/tweag/jupyterWith/issues/162 Ref: https://gist.github.com/fusetim/e59b17fc9bac31f2e43174fccd14d7e9

view details

FuseTim

commit sha 9374992e334ac0ff47536f88301231933eb3f316

add kernel test Ref: https://github.com/tweag/jupyterWith/pull/163#issuecomment-906321780

view details

FuseTim

commit sha 22eef5a5180d0e1aa00fd7b8869d64e043b07728

fix: missing nix-pkgs in path (oops)

view details

Juan Raphael Diaz Simões

commit sha f4f8e6eb883573883bac98b45073344a1a506036

Merge pull request #163 from fusetim/kernel/ocaml add ocaml kernel

view details

push time in 21 days

issue closedtweag/jupyterWith

Add Ocaml Kernel (using ocaml-jupyter)

Is your feature request related to a problem? Please describe it. I would like to use Ocaml in my jupyter notebooks, because I will have to do some in college. So I searched for an ocaml kernel for jupyter, found ocaml-jupyter and made a derivation for it. But since I am new to NixOS and Nix, I might need help structuring this kernel before creating a PR.

Describe the solution you want Have a new Ocaml kernel in JupyterWith using ocaml-kernel.

Describe the alternatives you have considered I created an Ocaml kernel for JupyterWith, here https://gist.github.com/fusetim/e59b17fc9bac31f2e43174fccd14d7e9. And I am currently using it with this jupyterEnvironment: https://gist.github.com/fusetim/0b0534b3d451bce6aabb5a69a42b8ed4.

closed time in 21 days

fusetim

PR merged tweag/jupyterWith

add ocaml kernel

After discussion and some tests, here is the PR for adding the ocaml kernel.

Using as a kernel, ocaml-jupyter by akabe. Based on this gist: https://gist.github.com/fusetim/e59b17fc9bac31f2e43174fccd14d7e9

Closes GH-162

Ref: https://github.com/akabe/ocaml-jupyter Ref: https://github.com/tweag/jupyterWith/issues/162 Ref: https://gist.github.com/fusetim/e59b17fc9bac31f2e43174fccd14d7e9

+155 -0

5 comments

9 changed files

fusetim

pr closed time in 21 days

pull request commenttweag/jupyterWith

add ocaml kernel

Tests are passing, and it works well, thank you!

fusetim

comment created time in 21 days

pull request commenttweag/jupyterWith

add ocaml kernel

Hi, thanks for that! Tests are not passing, you can reproduce them with nix-build tests -A build -A kernel-tests.core.

fusetim

comment created time in a month

push eventtweag/jupyterWith

GTrunSec

commit sha 3761da73d60fac73c916a431165535e79b5f1533

xeus-cling: fix build

view details

GTrunSec

commit sha 61c76ed0b0d22ac9f6e53873ec2a57e6bc8fe227

disable the check xues on darwin

view details

Juan Raphael Diaz Simões

commit sha 269999caa8d506e93ff56c8643cecb91ded2fdef

Merge pull request #137 from GTrunSec/fix-xeus Fix xeus-cling CPP kernel and Bumpup version

view details

push time in a month

PR merged tweag/jupyterWith

Fix xeus-cling CPP kernel and Bumpup version

test: image

+205 -208

4 comments

5 changed files

GTrunSec

pr closed time in a month

PullRequestReviewEvent

pull request commentguaraqe/csdc

haskell-language-server is now compatible

Push this in another PR and I can take a look, it seems to be a problem with mixing Nixpkgs versions, if that's the case I can solve that

itytophile

comment created time in a month

pull request commentguaraqe/csdc

haskell-language-server is now compatible

Did you try to use something like this: https://marketplace.visualstudio.com/items?itemName=arrterian.nix-env-selector

I think that LS only needs access to cabal and company, so as long as code is in the same environment (that is, launched from within the nix-shell) I think it should work. The extension above should make this easier.

itytophile

comment created time in a month

push eventtweag/jupyterWith

GTrunSec

commit sha 3b7a98bb13ac3ea596ba3594df5c5af8e2af01fd

add flake support

view details

GTrunSec

commit sha 45417b8d8eeac410097df5602aaa3560783e4ffe

add CI flake check

view details

GTrunSec

commit sha efbbc51cf4551cb3625ed47761368f02dcccf39b

flake: add extra substituters to jupyterwith

view details

Juan Raphael Diaz Simões

commit sha 8b04cb68244b32023345d7115247e1d7d82df176

Merge pull request #158 from GTrunSec/flakes add flake support

view details

push time in a month

PR merged tweag/jupyterWith

add flake support
  • CI
nix develop ./example/flake --command echo OK
+269 -0

3 comments

6 changed files

GTrunSec

pr closed time in a month

PullRequestReviewEvent

pull request commenttweag/jupyterWith

Fix xeus-cling CPP kernel and Bumpup version

@guaraqe Please check out, make sure if you would like to enable the option of unsupportSystem to build on Darwin

Can you send me a reference for this flag? It's the first time I see it.

GTrunSec

comment created time in a month

issue commenttweag/jupyterWith

Add Ocaml Kernel (using ocaml-jupyter)

If your kernel is working already with JupyterWith, that's very nice! If you want to open a PR, I recommend to:

  • Add your kernel to the kernels folder, more or less following the model of the other kernels
  • Add a test (the simplest notebook you can think about) in the example folder
  • Add it to the list of kernels in tests/default.nix, for example at line 60.

By doing this and opening a PR, it will be automatically tested, which will help you find errors and help me review it.

fusetim

comment created time in a month

issue commentguaraqe/csdc

Improve the left menu

Not really a history, but I think we should make possible to look at more than one page at the same time. But maybe a better choice is just to use links correctly and use multiple browser tabs. To be discussed.

itytophile

comment created time in a month

issue commentguaraqe/csdc

unit viewer modification

This first one is very simple to do, good first frontend task.

The second is more involved, let's leave it for a second round.

teamcsdc

comment created time in a month

issue commentguaraqe/csdc

Write challenges and subchallenges for units

I think this is a good first full-stack task:

  • Add a challenge entry for every unit in the database, default empty
  • Add a challenge field to the Haskell and Elm types.
  • Change the new unit form to include a required field named "Challenge"
itytophile

comment created time in a month