Skip to content

@dannypsnl-fork dannypsnl-fork

Change the repository type filter

All

    Repositories list

    97 repositories

    • genetic

      Public
      Elixir
      •0•0•0•0•Updated Jan 31, 2023Jan 31, 2023

    • phx_realtime

      Public archive
      Elixir: Phoenix & Channel
      Elixir
      •0•0•0•0•Updated Dec 13, 2022Dec 13, 2022

    • whisper

      Public
      Racket
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 27, 2022Nov 27, 2022

    • usualtt

      Public
      usual type theory
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Nov 27, 2022Nov 27, 2022

    • starttt

      Public archive
      Start a type theory
      OCaml
      •0•1•0•0•Updated Oct 9, 2022Oct 9, 2022

    • racket-project

      Public template
      Racket Project template for myself
      template-projectracket
      Racket
      •
      Apache License 2.0
      •1•0•0•0•Updated Sep 21, 2022Sep 21, 2022

    • redex

      Public archive
      Racket
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 14, 2022Sep 14, 2022

    • forth_parser

      Public
      Just record how to use menhir
      OCaml
      •0•0•0•0•Updated Sep 2, 2022Sep 2, 2022

    • TLA-plus-learn

      Public
      TLA
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 21, 2022Jul 21, 2022

    • racket-smalltalk

      Public
      Racket libraries for building Smalltalk-like languages.
      Racket
      •1•0•0•0•Updated Jul 19, 2022Jul 19, 2022

    • koka-learn

      Public
      0•0•0•0•Updated Jun 20, 2022Jun 20, 2022

    • first-order-logic

      Public
      Scala
      •0•0•0•0•Updated Jun 15, 2022Jun 15, 2022

    • counter_mix

      Public
      Erlang
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 27, 2022May 27, 2022

    • Orchis-theme

      Public
      Orchis is a [Material Design](https://material.io) theme for GNOME/GTK based desktop environments.
      CSS
      •
      GNU General Public License v3.0
      •218•0•0•0•Updated Mar 27, 2022Mar 27, 2022

    • tree-sitter-racket

      Public
      racket parser write in tree-sitter
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Feb 10, 2022Feb 10, 2022

    • circuit

      Public
      circuit simulator
      Racket
      •
      Other
      •0•0•0•0•Updated Feb 8, 2022Feb 8, 2022

    • lcl

      Public
      learn common-lisp
      Common Lisp
      •0•0•0•0•Updated Jan 30, 2022Jan 30, 2022

    • re-algo

      Public
      A simple algorithm developing tool
      Racket
      •
      Other
      •0•3•0•0•Updated Jan 13, 2022Jan 13, 2022

    • hauska

      Public
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Dec 30, 2021Dec 30, 2021

    • Nanopass.jl

      Public
      Nanopass in Julia
      compilernanopassnanopass-framework
      Julia
      •0•1•0•0•Updated Dec 13, 2021Dec 13, 2021

    • string-extension

      Public
      extend racket string to formatted string
      stringracketreader-macros
      Racket
      •
      Other
      •0•0•0•0•Updated Dec 11, 2021Dec 11, 2021

    • animegan2-pytorch

      Public
      PyTorch implementation of AnimeGANv2
      Jupyter Notebook
      •
      MIT License
      •641•0•0•0•Updated Nov 29, 2021Nov 29, 2021

    • renderer

      Public
      Learn from https://github.com/ssloy/tinyrenderer
      C++
      •0•0•0•0•Updated Nov 2, 2021Nov 2, 2021

    • svelte_web

      Public
      A demo that puts svelte & phoenix together
      Elixir
      •0•0•0•0•Updated Oct 28, 2021Oct 28, 2021

    • auto-diff

      Public
      Automatic Differentiation
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 12, 2021Oct 12, 2021

    • jsonrpc

      Public
      jsonrpc: client and server
      racketjsonrpc
      Racket
      •
      Other
      •0•2•0•0•Updated Oct 11, 2021Oct 11, 2021

    • xdp-tutorial

      Public
      XDP tutorial
      C
      •583•0•0•0•Updated Oct 8, 2021Oct 8, 2021

    • idris-gtk

      Public
      Idris2 GTK binding
      Idris
      •
      GNU Lesser General Public License v2.1
      •0•1•0•0•Updated Oct 7, 2021Oct 7, 2021

    • datatt

      Public
      A dependent type theory with user defined data types
      OCaml
      •1•0•0•0•Updated Oct 1, 2021Oct 1, 2021

    • idris-project

      Public template
      idris2 project template for myself
      Idris
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Sep 30, 2021Sep 30, 2021