Coder Social home page Coder Social logo

Open source contributions

Talks

Blog

Tools

  • desktop: sway
  • CLI: neovim, tmux, alacritty, foot, fzf, rg
  • shell: fish
  • browser: firefox with tridactyl
  • ❤️ Languages: C, Rust, Haskell, PureScript
  • 💔 Languages: Python, JavaScript, Typescript

dotfiles

Give up GitHub

Mastodon

Keys 🔑

Public key used for signing:

41B3 422B 0370 3BF5 FD03  FAFB 6F6A 0609 C120 38F3

Also available as DNS TXT record.

dig TXT openpgp.sanchayanmaity.net +short | sed 's/"//g'

Also available via Web Key Directory at https://keys.openpgp.org/.

gpg --locate-keys --auto-key-locate clear,nodefault,wkd sanchayanmaity.net

Sanchayan Maity's Projects

bhoogle icon bhoogle

Hoogle terminal UI brick example app

bibliography icon bibliography

Bibliography of Scheme research (readscheme.org and beyond)

cabal-clean icon cabal-clean

Remove outdated compilation artefacts left by cabal v2-build

cabal-edit icon cabal-edit

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

dnscontrol icon dnscontrol

Synchronize your DNS to multiple providers from a simple DSL

easy-build icon easy-build

Collection of Dockerfiles for building embedded software distributions

effects-bibliography icon effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

gdb_graphs icon gdb_graphs

To visualize function call flow for a C/C++ program using gdb and python

gitalias icon gitalias

Git alias commands for faster easier version control

gitlab-ci-stack icon gitlab-ci-stack

Full CI pipeline project based on Gitlab & Gitlab CI running Docker, completely automated setup by Vagrant & Ansible, providing Let´s Encrypt certificates for private Servers, multiple Gitlab-Runners and the Gitlab Container Registry, incl. GitLab Pages

gitlinker.nvim icon gitlinker.nvim

A lua neovim plugin to generate shareable file permalinks (with line ranges) for several git web frontend hosts. Inspired by tpope/vim-fugitive's :GBrowse

haskell icon haskell

A curated list of awesome things related to Haskell.

hclip icon hclip

A small cross-platform library for reading and modifying the system clipboard

learn-tt icon learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

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.