Giter VIP home page Giter VIP logo
  • šŸ‘‹ Hi, Iā€™m @hanleyc01
  • šŸ‘€ Iā€™m interested in computers (they're crazy!!), formal languages and logic, Philosophy of Computation, Language Syntax and Semantics :3
  • šŸŒ± Learning about interactive theorem provers with very lofty goals of researching their implementation and maintenance

Connor Hanley's Projects

learning-fstar icon learning-fstar

Simple repository that collects together some learning about [F-star](https://www.fstar-lang.org/#introduction), which is a dependently-typed language similar to thinks like LEAN or Coq. I don't know much about either, or dependently-languages in general, but this might be fun :3

lin-313 icon lin-313

Projects and playing around for my Linguistics Language and Computers Class

luajit-lang-toolkit icon luajit-lang-toolkit

A Lua bytecode compiler written in Lua itself for didactic purposes or for new language implementations

mir icon mir

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

ownlisp icon ownlisp

Following https://buildyourownlisp.com/ to work on my own compiler in C

practice-cli icon practice-cli

Just a practice CLI using https://rust-cli.github.io/book/tutorial/index.html

practice-rust-sdl icon practice-rust-sdl

Practicing rust game dev :) It's really fun, check it out here https://sunjay.dev/learn-game-dev/intro.html

rusty-cs icon rusty-cs

A Computer Science Curriculum with Rust flavor!

soft-foundations icon soft-foundations

Working through [UPenn's Software Foundations](https://softwarefoundations.cis.upenn.edu/)

uthash icon uthash

C macros for hash tables and more

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.