Skip to content

@Mist-Of-Doomsday-Magic-Cabal 終焉之朝霧魔法結社

Change the repository type filter

All

    Repositories list

    28 repositories

    • Learning-SICP

      Public
      《计算机程序的构造和解释》公开课中文化项目。
      Ruby
      •1.5k•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • mkdocs-material

      Public
      Documentation that simply works
      HTML
      •
      MIT License
      •3.5k•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • PLFA-zh

      Public
      《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
      Haskell
      •
      Creative Commons Attribution 4.0 International
      •22•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • Python

      Public
      All Algorithms implemented in Python
      Python
      •
      MIT License
      •45k•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • whisper

      Public
      Robust Speech Recognition via Large-Scale Weak Supervision
      Python
      •
      MIT License
      •8.1k•0•0•0•Updated Sep 10, 2024Sep 10, 2024

    • Best-README-Template

      Public template
      An awesome README template to jumpstart your projects!
      MIT License
      •23k•0•0•0•Updated Aug 12, 2024Aug 12, 2024

    • PLAI-cn

      Public
      Programming Languages: Application and Interpretation
      20•0•0•0•Updated Jul 20, 2023Jul 20, 2023

    • alacritty-theme

      Public
      Collection of Alacritty color schemes
      Apache License 2.0
      •240•0•0•0•Updated Jan 20, 2023Jan 20, 2023

    • HoTT-Agda

      Public
      Development of homotopy type theory in Agda
      Agda
      •
      MIT License
      •59•0•0•0•Updated Feb 19, 2019Feb 19, 2019

    • Meta-Learning-Papers

      Public
      Meta Learning / Learning to Learn / One Shot Learning / Few Shot Learning
      474•0•0•0•Updated Nov 26, 2018Nov 26, 2018

    • papers-we-love

      Public
      Papers from the computer science community to read and discuss.
      5.7k•0•0•0•Updated Nov 10, 2018Nov 10, 2018

    • sql-cheatsheet

      Public
      T-SQL cheatsheet.
      HTML
      •2•2•0•0•Updated Nov 9, 2018Nov 9, 2018

    • git-cheatsheet

      Public
      Git cheatsheet.
      HTML
      •2•0•0•0•Updated Nov 9, 2018Nov 9, 2018

    • emacs-cheatsheet

      Public
      Emacs cheatsheet.
      HTML
      •0•0•0•0•Updated Nov 9, 2018Nov 9, 2018

    • Deep-Learning-Papers-Reading-Roadmap

      Public
      Deep Learning papers reading roadmap for anyone who are eager to learn this amazing tech!
      Python
      •7.3k•0•0•0•Updated Mar 7, 2018Mar 7, 2018

    • Rouge-Theme-Matrix

      Public
      Personal customized rouge theme.
      CSS
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 23, 2017Sep 23, 2017

    • Discussion-Board-99-Problems-in-Python

      Public
      A discussion board of 99 Problems: Python Approach
      0•0•4•0•Updated Sep 13, 2017Sep 13, 2017

    • ChezScheme

      Public
      Chez Scheme
      Scheme
      •
      Apache License 2.0
      •985•0•0•0•Updated Nov 8, 2016Nov 8, 2016

    • rouge

      Public
      A pure-ruby code highlighter that is compatible with pygments http://rouge.jneen.net/
      Ruby
      •
      Other
      •735•0•0•0•Updated Sep 19, 2016Sep 19, 2016

    • aima-lisp

      Public
      Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
      Common Lisp
      •
      MIT License
      •101•0•0•0•Updated Feb 23, 2016Feb 23, 2016

    • paradox

      Public
      Paradox Game Engine
      C#
      •
      Other
      •345•0•0•0•Updated Apr 30, 2015Apr 30, 2015

    • customized-numix-dark-theme

      Public
      A customized Numix dark theme, all copyrights reversed by the original author.
      CSS
      •0•0•0•0•Updated Apr 21, 2015Apr 21, 2015

    • first_order_logic_prover

      Public
      C++
      •
      GNU Lesser General Public License v3.0
      •9•0•0•0•Updated Mar 29, 2015Mar 29, 2015

    • antlr4

      Public
      ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
      Java
      •
      Other
      •3.3k•0•0•0•Updated Dec 17, 2014Dec 17, 2014

    • restas

      Public
      Common Lisp web framework
      Common Lisp
      •
      Other
      •50•0•0•0•Updated Dec 11, 2014Dec 11, 2014

    • SICP-exercises

      Public
      SICP exercises in original Scheme, Ruby, Erlang, Haskell, Standard ML, CoffeeScript, Scala...
      Scheme
      •3•0•0•0•Updated Jun 13, 2014Jun 13, 2014

    • lightsabers

      Public
      some tiny, beautiful and difficult code
      Scheme
      •228•0•0•0•Updated Feb 11, 2014Feb 11, 2014

    • ctmcp-answers

      Public
      Answers of exercises in "Concepts, Techniques, and Models of Computer Programming".
      Oz
      •5•0•0•0•Updated Oct 28, 2012Oct 28, 2012