nattybear

nattybear's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell87.8k3.1k2435.7k

• haskell-beginners-2022/course-plan

  📜 Haskell course info, plan, video lectures, slides

  Language:Haskell1.3k23657

• erkmos/haskell-companies

  A gently curated list of companies using Haskell in industry

  9446441137

• soupi/learn-haskell-blog-generator

  Learn Haskell by building a blog generator - an introductory book about Haskell.

  27862948

• discord-haskell/discord-haskell

  Haskell library for writing Discord bots

  Language:Haskell263118058

• haskell-beginners-2022/exercises

  💻 Exercises for the Haskell Beginners 2022 course

  Language:Haskell261713345

• VBAndCs/sVB-Small-Visual-Basic

  Small Visual Basic (sVB) is an educational programming language, created by Eng. Mohammad Hamdy as an evolved version of Microsoft Small Basic (SB). It is meant to be easier and more powerful at the same time, to introduce programming basics to kids and beginners of any age, provided that they can use the English keyboard on the Windows OS.

  Language:Visual Basic .NET233167516

• MarcWeber/hasktags

  Produces ctags "tags" and etags "TAGS" files for Haskell programs

  Language:Haskell13095333

• itchyny/vim-haskell-indent

  If the plugin does not work for some syntax, feel free to report to the issue tracker!

  Language:Vim Script1075238

• haskell/core-libraries-committee

  954626916

• kode-team/mastodon.nvim

  Mastodon client for Neovim

  Language:Lua854195

• reubenharry/haskell-docs

  Language:Haskell593177

• 9beach/hanspell-hs

  (주)다음과 부산대학교 인공지능연구실/(주)나라인포테크의 웹 서비스를 이용한 한글 맞춤법 검사기.

  Language:Haskell26700

• CppKorea/CodeOfConduct

  C++ Korea 행동 강령

  24753

• rissgrouphub/ransomwaredataset2016

  Ransomware Dataset for arXiv:1609.03020

  19104

• KiJeong-Lim/portfolio

  My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

  14020

• ondrap/geoip2

  Pure haskell access to the MaxMind GeoIP2 database

  Language:Haskell12349

• prosyslab-classroom/hardcore-ocaml

  Language:OCaml12104

• damhiya/Logos

  Language:Agda8200

• kyagrd/haskell

  Programming in Haskell (Korean translation) - homepage

  Language:CSS8410

• lionhairdino/saekpen.nvim

  Colored pencil or highlighter to use in Neovim

  Language:Lua7100

• kwanghoon/Lecture_SAV

  Haskell implementation of program analyses on the WHILE language

  Language:Haskell5201

• damhiya/citrus

  Language:Haskell3200

• daveg7lee/learn-haskell-blog-generator-kr

  Learn Haskell by building a blog generator - a book about Haskell.

  2000

• kwanghoon/Lecture_EOPL_Exercise

  Exercises for EOPL in Haskell

  Language:Haskell2305

• kwonryul/aesonClone

  studying purpose

  Language:Haskell2200

• xnuk/new

  Make your own xnuk for free

  220

• cherryblossom000/advent-of-code

  My solutions for the Advent of Code.

  Language:Haskell1200

• SeonghoJin/neural-network-studio-front

  GUI로 인공지능 모델을 만들어 학습까지 해주는 애플리케이션

  Language:TypeScript1231

• ybs1164/hsSokoban

  Language:Haskell1100