Skip to content
View jake-87's full-sized avatar
29 followers · 25 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx2

Block or report jake-87

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jake-87/README.md

hey hey

I work on:

  • khasmc: A functional language emphasising easy problem solving
  • project-garden: Small projects to learn
  • various other projects

I enjoy:

  • compilers
  • type systems
  • dependent types
  • HoTT/HOTT/similar type theory nonsense
  • formal verification

Pinned Loading

  1. khasm-lang/khasmc khasm-lang/khasmc Public

    A functional programming language, mirroring Erlang and Go, but with more OCaml!

    OCaml 24

  2. project-garden project-garden Public

    A garden for small projects I make.

    OCaml 6

  3. systemf.md systemf.md
    1 
    # A somewhat brief overview of typechecking System F
    2 
    
              
    
              
    
                3
                
    This document comprises an example of typechecking a type system based on System F, in a small ML-like language.
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    You can skip the below section if you already understand System F itself.
    
              
    
          
    
    
    
  
    

    4. 

      
  4. 
  
    
    
    
      
    
        
    
            
          fortran-calc  fortran-calc          Public
        
    
      
    


      
    
        Simple reverse polish notation calculator in FORTRAN
      
    

      
    
          
  
  Fortran


          
            
    

            3
          
      
    
    
    
  
    

    5. 

      
  5. 
  
    
    
    
      
    
        
    
            
          blog  blog          Public
        
    
      
    


      
    
        
      
    

      
    
          
  
  HTML


          
            
    

            1
          
      
    
    
    
  
    

    6.