GithubHelp home page GithubHelp logo

dannypsnl / forest-server Goto Github PK

View Code? Open in Web Editor NEW

This project forked from kentookura/forest-server

0.0 0.0 0.0 1.18 MB

A server for the forester tool

Home Page: https://sr.ht/~jonsterling/forester/

License: MIT License

Rust 89.25% Nix 10.32% Dockerfile 0.43%

forest-server's Introduction

(information
  #:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
               [(know-chinese? you) "林子篆"]
               [else "Danny"])
  #:focus-on '(PLT Networking OS)
  #:language '(ocaml elixir haskell racket)
  #:prover '(lean agda)
  #:learning '(inductive families
               natural model
               modules, dependencies, and cache format
               terimation property: sized/glued dependent type
               modal logic & its properties)
  #:mail "[email protected]"
  #:pronouns: '(He Him)
  #:os '(EndeavourOS MacOS)
  #:languages: '((Taiwanese . thian-jiân)
                 (Chinese . 母語)
                 (English . fluent)
                 (Finnish . Osaan puhua vähän suomea)
                 (Japanese . 日本語がわからない)
                 (Deutsch . Ich kann kein Deutsch sprechen))
  #:fun-fact '(most native speakers of Chinese/Taiwanese cannot pronounce my name correctly at first))

dannypsnl profile

forest-server's People

Contributors

dannypsnl avatar kentookura avatar nickhu avatar offlinehacker avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.